The foundations of program verification Jacques Loeckx; Kurt Sieber. In collaboration with Ryan D. Stansifer
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 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 | |
---|---|---|---|---|---|---|---|---|
![]() |
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 | ||
![]() |
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 | ||
![]() |
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 | ||
![]() |
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 | ||
![]() |
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 | ||
![]() |
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 1976:1 5.Ex Algorithmentheorie | LOE j 1976:1 7.Ex Algorithmentheorie | LOE j 1984:1 1.Ex The foundations of program verification | 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 |
Literaturverz. S. 222 - 226
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-24