Program correctness over abstract data types, with error-state semantics J. V. Tucker; J. I. Zucker
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0444703403
- ST 230
- ST 134
- ST 120
- *68Q60
- 68P05
- 68-02
- 03D75
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) | TUCk j 1988:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000141620 | ||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | TUCk j 1988:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2204000012140 |
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)
TU x 1999:1 1.Ex Artificial animals for computer animation biomechanics, locomotion, perception, and behavior | TUCk a 1992:1 1.Ex Fundamentals of computing 1 Logic problem solving programs and computers | TUCk a 1997:1 1.Ex The computer science and engineering handbook | TUCk j 1988:1 1.Ex Program correctness over abstract data types, with error-state semantics | TUCk j 1988:1 2.Ex Program correctness over abstract data types, with error-state semantics | TUL e 1972:1 1.Ex Organization of memory [conference held at ... Pittsburgh in March 1971] | TUL t 2008:1 1.Ex Measuring the user experience collecting, analyzing, and presenting usability metrics |
Literaturverz. S. 206 - 212