LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Practical TLA+: Planning Driven Development

Practical TLA+: Planning Driven Development

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

16,78 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9781484238288
Verlag:
Seitenzahl:
248
Auflage:
-
Erschienen:
2018-10-12
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

16,78 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Practical TLA+: Planning Driven Development
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"Practical TLA+: Planning Driven Development" von Hillel Wayne ist ein Fachbuch, das sich mit der Anwendung der formalen Spezifikationssprache TLA+ im Softwareentwicklungsprozess beschäftigt. Das Buch richtet sich an Softwareingenieure und Entwickler, die ihre Systeme zuverlässiger und fehlerfreier gestalten möchten. Hillel Wayne führt die Leser in die Grundlagen von TLA+ ein und zeigt, wie diese Sprache verwendet werden kann, um komplexe Systeme zu modellieren und deren Verhalten vorab zu analysieren. Der Autor legt besonderen Wert auf praxisnahe Beispiele und Fallstudien, die den Einsatz von TLA+ in realen Projekten veranschaulichen. Das Buch behandelt Themen wie die Spezifikation von Systemanforderungen, das Verifizieren von Algorithmen und das Erkennen potenzieller Fehlerquellen bereits in der Planungsphase. Ziel ist es, durch den Einsatz formaler Methoden eine solide Basis für die Entwicklung robuster Softwarelösungen zu schaffen. Insgesamt bietet "Practical TLA+" einen praktischen Leitfaden für Entwickler, die ihre Fähigkeit zur Planung und Analyse von Softwaresystemen verbessern möchten, indem sie formale Methoden in ihren Entwicklungsprozess integrieren.

Produktdetails

Einband:
paperback
Seitenzahl:
248
Erschienen:
2018-10-12
Sprache:
Englisch
EAN:
9781484238288
ISBN:
9781484238288
Verlag:
Gewicht:
561 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor


Entdecke mehr vom Verlag


Gut
16,78 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl