The Foundations of program verification [[Book] /]Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.
Von: Loeckx, J. J. C. (Jacques J. C.).).
Mitwirkende(r): Sieber, Kurt | Stansifer, Ryan D.
Materialtyp:
BuchReihen: Wiley-Teubner series in computer science. Wiley-Teubner series in computer science.Verlag: Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, 1984Beschreibung: 230 p ; 24 cm.ISBN: 047190323X :; 047190323X ; 047190323X :.Schlagwörter: Computer programs -- Verification | Logiciels -- VérificationDDC-Klassifikation: 001.642 | 001.642 | 001.642
| Medientyp | Aktueller Standort | Signatur | Exemplarnr. | Status | Fälligkeitsdatum |
|---|---|---|---|---|---|
Books
|
6october 1105 | 001.642 L F (Regal durchstöbern) | 1 | Verfügbar |
Regale von 6october durchstöbern , Standort: 1105 Regal ausblenden
|
|
|
|
|
|
|
||
| 001.642 H I Intermediate problem solving and data structures | 001.642 H I Introduction to logic programming | 001.642 K D Discrete computational structures | 001.642 L F The Foundations of program verification | 001.642 MU Understanding computers | 001.642 MU Understanding computers | 001.642 MU Understanding computers |
Includes index.
Bibliography: p. 222-226.
All age.
Es gibt keine Kommentare zu diesem Titel.