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
>>