Specifying Systems: The TLA+ Language and ... - Cellestria

Cover: 9780321143068 | Specifying Systems: The TLA+ Language and Tools for Hardware and...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

38,40 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Noch keine Beschreibung vorhanden. Sollten Sie Fragen zu dem Artikel haben, helfen wir Ihnen gerne weiter.

Über den Autor

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. His "Time, Clocks, and the Ordering of Events in a Distributed System" paper has been honored for its enduring influence on the field. Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering. [...]XAB[...]

Details

Erscheinungsjahr:	2002
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780321143068
ISBN-10:	032114306X
UPC:	076092021339
EAN:	0076092021339
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Lamport, Leslie
Auflage:	1. Auflage
Hersteller:	Pearson International
Verantwortliche Person für die EU:	Financial Times Prent., St.-Martin-Str. 82, D-81541 München, salesde@pearson.com
Maße:	235 x 187 x 21 mm
Von/Mit:	Leslie Lamport
Erscheinungsdatum:	19.07.2002
Gewicht:	0,697 kg

Artikel-ID: 128046618

Über den Autor

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. His "Time, Clocks, and the Ordering of Events in a Distributed System" paper has been honored for its enduring influence on the field. Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering. [...]XAB[...]

Details

Erscheinungsjahr:	2002
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780321143068
ISBN-10:	032114306X
UPC:	076092021339
EAN:	0076092021339
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Lamport, Leslie
Auflage:	1. Auflage
Hersteller:	Pearson International
Verantwortliche Person für die EU:	Financial Times Prent., St.-Martin-Str. 82, D-81541 München, salesde@pearson.com
Maße:	235 x 187 x 21 mm
Von/Mit:	Leslie Lamport
Erscheinungsdatum:	19.07.2002
Gewicht:	0,697 kg

Artikel-ID: 128046618

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9780596510046 | Beautiful Code | Leading Programmers Explain How They Think | Buch

Leading Programmers Explain How They Think

EAN: 9780596510046

Sprache: Englisch

Von/Mit: Andy Oram (u. a.)

44,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-11 %

Cover: 9783540423423 | Struktur und Interpretation von Computerprogrammen | Abelson (u. a.)

Struktur und Interpretation von Computerprogrammen

Eine Informatik-Einführung

EAN: 9783540423423

Sprache: Deutsch

Von/Mit: Harold Abelson (u. a.)

40,25 €* UVP 44,99 €

Lieferzeit 2-4 Werktage

Taschenbuch

-15 %

Cover: 9781441923226 | All of Statistics | A Concise Course in Statistical Inference | Buch

All of Statistics

A Concise Course in Statistical Inference

EAN: 9781441923226

Sprache: Englisch

Von/Mit: Larry Wasserman

51,95 €* UVP 60,98 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783864905803 | Basiswissen Automotive Softwaretest | Ralf Bongard (u. a.) | Buch

Basiswissen Automotive Softwaretest

Aus- und Weiterbildung zum ISTQB® Foundation Level Specialist - Certified Automotive Software Tester

EAN: 9783864905803

Sprache: Deutsch

Von/Mit: Ralf Bongard (u. a.)

34,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Cover: 9781108792899 | Machine Learning for Asset Managers | Marcos M. López de Prado | Buch

Machine Learning for Asset Managers

EAN: 9781108792899

Sprache: Englisch

Von/Mit: Marcos M. López de Prado

22,40 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Tipp

Cover: 9783957862518 | Bewertungsleitfaden für ITK-Systeme, Elektronik und...

Bewertungsleitfaden für ITK-Systeme, Elektronik und elektrotechnische Geräteeinheiten

EAN: 9783957862518

Sprache: Deutsch

Von/Mit: Wilhelm Uhlenberg (u. a.)

20,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780134464541 | Vulkan Programming Guide | The Official Guide to Learning Vulkan

Vulkan Programming Guide

The Official Guide to Learning Vulkan

EAN: 9780134464541

Sprache: Englisch

Von/Mit: Graham Sellers (u. a.)

63,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-11 %

Tipp

Cover: 9781493222926 | Node.js | The Comprehensive Guide | Sebastian Springer | Taschenbuch

The Comprehensive Guide

EAN: 9781493222926

Sprache: Englisch

Von/Mit: Sebastian Springer

44,40 €* UVP 49,95 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781633438620 | ASP.NET Core in Action, Third Edition | Andrew Lock | Taschenbuch

ASP.NET Core in Action, Third Edition

EAN: 9781633438620

Sprache: Englisch

Von/Mit: Andrew Lock

69,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780138360467 | Bridging Intention to Impact | Connor Joyce | Taschenbuch | Englisch

Bridging Intention to Impact

Transforming Digital Product Development Through Evidence-Based Decision-Making

EAN: 9780138360467

Sprache: Englisch

Von/Mit: Connor Joyce

47,50 €*

Aktuell nicht verfügbar

Taschenbuch

-19 %

Cover: 9798868811593 | Mastering UltraEdit | Devid Espenschied | Taschenbuch | xx | Englisch

Mastering UltraEdit

Functions and Possibilities of the Most Flexible, Powerful, and Secure Text Editor

EAN: 9798868811593

Sprache: Englisch

Von/Mit: Devid Espenschied

47,95 €* UVP 58,84 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9788419951021 | Nexus | Taschenbuch | Spanisch | DEBATE | EAN 9788419951021

EAN: 9788419951021

Sprache: Spanisch

35,65 €*

Lieferzeit 2-3 Wochen