The foundations of program verification Jacques Loeckx; Kurt Sieber. In collaboration with Ryan D. Stansifer
Materialtyp:
TextSprache: Englisch Reihen: Wiley-Teubner series in computer scienceVerlag: Stuttgart [u.a.] Teubner [u.a.] 1984Beschreibung: IX, 230 S. graph. Darst. 8"Inhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3519021013
- 047190323X
- 001.64/2 19
- QA76.6
- 28
- ST 130
- ST 140
- ST 233
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 6.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000115041 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000152473 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000152503 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000115034 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 4.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000115027 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOE j 1984:1 5.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000115010 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| LOE j 1984:1 2.Ex The foundations of program verification | LOE j 1984:1 3.Ex The foundations of program verification | LOE j 1984:1 4.Ex The foundations of program verification | LOE j 1984:1 5.Ex The foundations of program verification | LOE j 1984:1 6.Ex The foundations of program verification | LOE j 1986:1 4.Ex Grundlagen der Programmiersprachen mit zahlreichen Abbildungen, Beispielen und Aufgaben | LOE j 1996:1 1.Ex Specification of abstract data types |
Literaturverz. S. 222 - 226
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-24