Du bist nicht mit dem Internet verbunden.
Neu
CHF 54.90

Practical TLA+

Design-Driven Programming

Art-Nr 9054086
Mehr als 3 Monate

Verfügbarkeit

Postversand

  • Mehr als 3 Monate

Abholen

  • Eine Abholung dieses Produktes ist leider nicht möglich.

Alle Angaben ohne Gewähr.

Details anzeigen

Angebot von
i

Angebot eines Drittanbieters

Dieses Produkt wird durch einen Drittanbieter geliefert. Die Auftragsabwicklung läuft über uns, der Verkaufsvertrag kommt aber zwischen dir und dem Anbieter zustande.


Ex Libris CH
Practical TLA+ Produktbild
CHF 54.90

Practical TLA+

Beschreibung

Apply TLA+ to real-world problems and gain the building blocks to get started with your own specifications. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs, the way that Amazon and Microsoft handle their new systems. You'll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. You'll also discover advanced TLA+ specific syntax and see how it works with concurrency combined with some temporal logic. Finally, you'll put what you learn into practice with four working case study applic.mehr

Spezifikationen

Für detaillierte Spezifikationen bitte auf "Mehr anzeigen" klicken.

Allgemeine Informationen

Verlag Springer
Produkttyp Informatikbuch
i

Informatikbuch

Informatikbücher dienen dazu, komplexe Software-Programme mit weitreichenden Funktionen und diversen Features verständlich und Schritt für Schritt zu erklären. Der Leser kann sich so selbst in alle möglichen Themen einlesen und alle bzw. die wichtigsten Tools der jeweiligen Anwendung kennenlernen. Auch Guides für Spiele werden je nach Hersteller und Game angeboten, um den Spielern – falls gewünscht – eine Komplettlösung bieten zu können. In unserem Shop findest du Hilfestellungen in Form von Informatikbücher zu den wichtigsten Softwares wie Adobe Illustrator und Photoshop, Microsoft Office, Apple iOS, Java, 3D-Drucke sowie diverse Game-Lösungsbücher.

Artikelnummer9054086
Release-Datum26.12.2018

Produktinformationen

Author Hillel Wayne
Year 2018
Pages 285
Medium Fachbuch
Isbn 978-1-4842-3828-8
Edition 1st ed.
Product Eng
Subtitle Englisch

Bitte klicke direkt auf die fehlerhaften Daten, um auf das Meldeformular zu gelangen.

Alternativ kannst du einen allgemeinen Fehler-Bericht erfassen (falsches Bild, ungeeignete Zubehör usw.). Dieses Tool ist nicht für Fragen über Produkte gedacht. Bei Fragen wende dich bitte an unseren Kundendienst.

Abbrechen

Falsche Daten melden

Korrekturmeldung

Kommentar

Falsche Daten melden

Um mehr über das Produkt zu erfahren, besuche bitte die Herstellerwebsite oder kontaktiere uns: galaxus@galaxus.ch

Rückgabe und Garantie

Keine Garantie
14 Tage Rückgaberecht
i

14 Tage Rückgaberecht

Dieses Produkt stammt von einem Drittanbieter und kann innert 14 Tagen nach Versand retourniert werden.

Rückgabe und Garantie

Um eine Rückgabe oder einen Garantiefall anzumelden, kannst du unseren vereinfachten Retourenprozess verwenden: Rückgabe und Garantie

Bitte verwende unseren vereinfachten Garantieprozess. Dort wird die Dauer der Garantie korrekt ausgewiesen. Ebenfalls werden von dir gekaufte Garantieverlängerungen berücksichtigt. Damit stellst du sicher, dass deine Rückgabe oder dein Garantiefall möglichst schnell und einfach verarbeitet werden kann.

Verfügbarkeit

Postversand

Voraussichtlicher Liefertermin: Mehr als 3 Monate
Nicht an Lager beim Lieferanten

Eine Abholung dieses Produktes ist leider nicht möglich.

Alle Angaben ohne Gewähr.

Kunden Fragen und Antworten

Es wurden noch keine Fragen gestellt.

Hast du eine Frage? Frag die Galaxus Community.

Eine Frage stellen

Frag andere Kunden nach den Eigenschaften, Fähigkeiten oder Verwendung eines Produktes.
Bei Fragen zu einem Auftrag melde dich bitte direkt beim Kundendienst.

Für deine Beiträge in der Community gelten die Community-Bedingungen.

Kundenbewertungen

Dieses Produkt wurde noch nicht bewertet.

Hast du dieses Produkt verwendet? Teile deine Meinung mit der Galaxus Community.

Produkt bewerten
Practical TLA+ Practical TLA+