Produktbild: Practical TLA+

Practical TLA+ Planning Driven Development

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2018

Abbildungen

XXIII, 22 illus., schwarz-weiss Illustrationen

Verlag

Apress

Seitenzahl

221

Maße (L/B/H)

25,4/17,8/1,4 cm

Gewicht

478 g

Auflage

1st ed.

Sprache

Englisch

ISBN

978-1-4842-3828-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.10.2018

Abbildungen

XXIII, 22 illus., schwarz-weiss Illustrationen

Verlag

Apress

Seitenzahl

221

Maße (L/B/H)

25,4/17,8/1,4 cm

Gewicht

478 g

Auflage

1st ed.

Sprache

Englisch

ISBN

978-1-4842-3828-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Practical TLA+
  • Part I: The Semantics of TLA+ and PlusCal.- 1. An Example.- 2. PlusCal.- 3. Operators and Functions.- 4. Constants, Models, and Imports.- 5. Concurrency.- 6. Temporal Logic.-  Part II: Applying TLA+.- 7. Algorithms.- 8. Data Structures.- 9. State Machines.- 10. Ambiguity and Feature Interation.- 11. Case Study: MapReduce.- Appendix A: Mathematics.- Appendix B: PT library.- Appendix C: PlusCal to TLA+.