Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Spezifizierende Systeme: Die TLA+ Sprache und Tools für Hardware- und Software-Engine

Ø 0.0
0 Bewertungen
51,21 €

This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. Leslie Lamport, the creator of the LaTeX typesetting system, shows how to write unambiguous specifications of complex computer systems.

Jetzt bei Ebay: