Verifying Temporal Properties of Systems

Name: Verifying Temporal Properties of Systems
Price: 55.53 EUR
Availability: OutOfStock
Author: Julian Ch Bradfield
ISBN: 978-3-7643-3625-7

Julian Ch Bradfield(Autor*in)

Birkhäuser Verlag GmbH

Erschienen im Dezember 1991

Buch

Hardcover

113 Seiten

978-3-7643-3625-7 (ISBN)

55,53 €inkl. 7% MwSt.

Artikel ist vergriffen; siehe andere Ausgabe

Zur neuen Auflage

Weitere Details

Weitere Ausgaben

Als PDF speichern Als Link merken