Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Programmverifikation : sequentielle, parallele und verteilte Programme / Krzysztof R. Apt; Ernst-Rüdiger Olderog

Von: Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Reihen: Springer-LehrbuchVerlag: Berlin ; Heidelberg [u.a.] : Springer, 1994Beschreibung: XII, 258 S. ; 24 cmISBN:
  • 3540574794
Schlagwörter: Genre/Form: MSC: MSC: *68Q60 | 03B70 | 68-01RVK: RVK: ST 233 | ST 230 | ST 140PPN: PPN: 148083560
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Exemplarnummer Status Barcode
Freihandbestand ausleihbar Fachbibliothek Informatik E.Apt Bibliothek / frei aufgestellt E.Apt(18819) ;b Verfügbar 000214456090
Anzahl Vormerkungen: 0