Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The seventeen provers of the world / foreword by Dana S. Scott ; Freek Wiedijk (ed.). by Series: Lecture notes in computer science ; 3600. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11542384
Publication details: Berlin ; New York : Springer, ©2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino. by Series: Lecture notes in computer science ; 4334. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • KeY approach
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha