Specification of abstract data types Jacques Loeckx; Hans-Dieter Ehrich; Markus Wolf
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3519021153
- 047195067X
- 28
- ST 140
- ST 230
- ST 265
- ST 130
- *68Q60
- 68P05
- 68-01
- 68N15
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | 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 1996:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000133225 | |||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | Loeckx (Regal durchstöbern(Öffnet sich unterhalb)) | restricted use | D2-internal | 2002000003119 | ||
![]() |
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 1996:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000128010 | |||
![]() |
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 1996:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000128041 |
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 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 | LOE j 1996:1 2.Ex Specification of abstract data types | LOE r 1981:1 1.Ex Threaded interpretive Languages their design and implementation | LOH p 1970:1 1.Ex Leistungsvergleich elektronischer Datenverarbeitungsanlagen |
Literaturverz. S. 243 - 250
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-24