Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers von Lamport, Leslie | ISBN 9780321143068

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Buchcover Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | Lamport, Leslie | EAN 9780321143068 | ISBN 0-321-14306-X | ISBN 978-0-321-14306-8

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Quelle: amazon.de, abgerufen am 06.07.2025 21:22:21

ISBN-Daten

Verlag
Addison-Wesley Professional
Autor
Lamport, Leslie
erschienen am
13.08.2002
ISBN-10
0-321-14306-X
Preis
33,81 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen