Logging in...
User ID
Password
Register
Forgot your PIN?
Forgot my PIN
Enter your username and a recovery link will be emailed to the email address on file at your library.
User ID
Skip to:
Search Results
|
Content
|
Bottom
Search Results for
Home
Log In
My Account
My Lists
Disable Accessibility Mode
Help
Rooms Restriction Values
All Fields
Title
Author
General Note
Keyword in Author headings
Subject
Keyword in Subject headings
ISBN
Preferred Shelf Number
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Search Options
Search Options
Home Room
Book Collection
E-Book Collection
Multimedia Collection
Thesis Collection
Transportation Engineering Collection
Periodicals Collections
Green Campus
4 Results
Sort
Selected
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Filter
Only Show Available
Narrowed by:
Clear all
Included
Beckert, Bernhard. editor.
Included
Software engineering.
Author
Material Type
Language
Publication Date
Subject
Shelf Location
Library
false
Sort By: A to Z
Sort By: Number of Results
{displayName}
{count}
{error}
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0000
DEFAULT
Title
Select a list
Temporary List
Always add to this list
Deductive Software Verification – The KeY Book From Theory to Practice
Deductive Software Verification – The KeY Book From Theory to Practice
by
Ahrendt, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-49812-6
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
by
Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
View Other Search Results
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
by
Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
by
Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/11554554
Format:
Electronic Resources
Add to My Lists
Email
Checking for actions...
Google Preview
Place Hold
Go to:
Search Results
|
Top of Page