Krzysztof R. Apt Ernst R. Olderog Apt Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

von Krzysztof R. Apt Ernst R. Olderog

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Krzysztof R. Apt

Stimmen zu »Verification of Sequential and Concurrent Programs«

Details

ISBN: 9783540975328
Verlag: Springer Berlin
Erscheinung: 1991

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden