Showing
1 - 9
results of
9
for search '
'
Skip to content
Toggle navigation
Wellesley College
Course Reserves
SuperSearch
WorldCat
Databases
Research Guides
Your Account
Log Out
Institutional Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Library Catalog
Keyword
Title/Journal Title
Author
Subject
Call Number
ISBN/ISSN
Browse By Subject
Browse By Author
Browse By Title
Browse By Call Number
Find
Advanced Search
|
Browse
|
Search Tips
|
Repeat Search in WorldCat
Suggested Subjects:
Software engineering
Author:
Beckert, Bernhard
Show filters (2)
Suggested Subjects:
Software engineering
Author:
Beckert, Bernhard
Search Results
Suggested Subjects within your search.
Suggested Subjects within your search.
Software Engineering
9
Software engineering
Computer Science Logic and Foundations of Programming
8
Computer science
8
Compilers (Computer programs)
5
Compilers and Interpreters
5
Artificial Intelligence
4
more ...
Artificial intelligence
4
Formal Languages and Automata Theory
4
Machine theory
4
Computer programming
3
Programming Techniques
3
Application software
2
Computer and Information Systems Applications
2
Computer networks
2
Electronic data processing—Management
2
IT Operations
2
Computer Communication Networks
1
Computer Engineering and Networks
1
Computer engineering
1
Computers and Society
1
Computers and civilization
1
Electronic digital computers—Evaluation
1
Operating Systems
1
Operating systems (Computers)
1
System Performance and Evaluation
1
Theory of Computation
1
less ...
Showing
1 - 9
results of
9
for search '
'
, query time: 0.04s
Refine Results
Results per page
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Imprint 2011
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2011 English/International.
Electronic
eBook
Save to List
Saved in:
2
Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY /
Imprint 2020
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2020 English/International.
Electronic
eBook
Save to List
Saved in:
3
The Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /
Imprint 2022
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2022 English/International.
Electronic
eBook
Save to List
Saved in:
4
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
Imprint 2012
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2012 English/International.
Electronic
eBook
Save to List
Saved in:
5
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Imprint 2013
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2013 English/International.
Electronic
eBook
Save to List
Saved in:
6
Deductive Software Verification – The KeY Book From Theory to Practice /
Imprint 2016
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2016 English/International.
Electronic
eBook
Save to List
Saved in:
7
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Imprint 2007
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2007 English/International.
Electronic
eBook
Save to List
Saved in:
8
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /
Imprint 2005
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2005 English/International.
Electronic
eBook
Save to List
Saved in:
9
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Imprint 2008
Call Number:
Loading...
Located:
Loading...
Available in Springer Computer Science eBooks 2008 English/International.
Electronic
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Electronic
9
eBook
9
Author
Beckert, Bernhard
SpringerLink (Online service)
9
Hähnle, Reiner
4
Ahrendt, Wolfgang
3
Bubel, Richard
3
Damiani, Ferruccio
2
more ...
Schmitt, Peter H.
2
Ulbrich, Mattias
2
Bonsangue, Marcello M.
1
Gurov, Dilian
1
Johnsen, Einar Broch
1
Marché, Claude
1
de Boer, Frank S.
1
see all ...
less ...
Language
English
9
Year of Publication
From:
To:
Loading...