Deductive software verification - the key book : from theory to practice
Contributor(s): Ahrendt, Wolfgang | Beckert, Bernhard | Bubel, Richrad | Hahnle, Reiner | Schmitt, Peter H | Ulbrich, Mattias.
Material type:
BookPublisher: Switzerland : Springer book, 2016Description: xxxii, 702pages.ISBN: 9783319498119.Subject(s): Software engineering | Artificial intelligenceDDC classification: 005.1 D299D 2016
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
Information Technology University, Lahore General Stacks | 005.1 D299D 2016 (Browse shelf) | Available | 006851 |
Total holds: 0
NBL010119
pbk
There are no comments for this item.