Vorstellung des Autors Leslie Lamport:

Bisher veröffentlichte Bücher von Leslie Lamport:

Systeme spezifizieren: Die Tla+ Sprache und Werkzeuge für Hardware- und Software-Ingenieure -...
Addison Wesley Pub Co Inc
Dieses Buch ist das Ergebnis von mehr als 25...
Systeme spezifizieren: Die Tla+ Sprache und Werkzeuge für Hardware- und Software-Ingenieure - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)