Du bist nicht mit dem Internet verbunden.
Neu
CHF 41.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.

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

Die wichtigsten Spezifikationen auf einen Blick

Jahr2018

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

Kategorisierung

Buchtyp
Informatikbuch
Sprache Buch
Englisch
i

Englisch

Die englische Sprache (engl. „English“) bildet zusammen mit dem Deutschen, dem Niederländischen, dem Niederdeutschen, dem Afrikaans und den friesischen Sprachen den westlichen Zweig der germanischen Sprachen.
Englisch ist eine Weltsprache, die weiter verbreitet ist als jede andere (die meistgesprochene Muttersprache ist dagegen hochchinesisch). Das Englische wird in den Schulen vieler Länder als erste Fremdsprache gelehrt (siehe Englischunterricht) und ist offizielle Sprache der meisten internationalen Organisationen. Viele davon nutzen daneben noch andere offizielle Sprachen.
Heute sind weltweit etwa 340 Millionen Menschen anglophon, das heisst: sie sprechen Englisch als Muttersprache. Weitere 170 Millionen Menschen beherrschen es als Zweitsprache, so dass das Englische auf insgesamt 510 Millionen Sprecher kommt.

Mehr Infos...

Buch Eigenschaften

Jahr
2018
Anzahl Seiten
285

Produktinformationen

Author Hillel Wayne
Year 2018
Pages 220
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

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.

Fragen zum Produkt

Es wurden noch keine Fragen gestellt.

Hast du eine Frage? Frag die digitec Community.

Hast du eine Frage an die Community?

Es gelten die Community-Bedingungen.
Bei Fragen zu einem Auftrag melde dich bitte direkt beim Kundendienst.

Produktbewertungen

Dieses Produkt wurde noch nicht bewertet.

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

Produkt bewerten
Practical TLA+ Practical TLA+