Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: Springer-LehrbuchPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1994Description: XII, 258 S. ; 24 cmISBN:
  • 3540574794
Subject(s): Genre/Form: MSC: MSC: *68Q60 | 03B70 | 68-01RVK: RVK: ST 233 | ST 230 | ST 140PPN: PPN: 148083560
Holdings
Item type Home library Collection Shelving location Call number Copy number Status Barcode
Freihandbestand ausleihbar Fachbibliothek Informatik E.Apt Bibliothek / frei aufgestellt E.Apt(18819) ;b Available 000214456090
Total holds: 0