Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Practical TLA+

Planning Driven Development

Hillel Wayne

Sprache

Englisch

Buch Broschur

Libristo-Code: 19691060

Verlag APress, Oktober 2018

Apply TLA+ to real-world problems and gain the building blocks to get started with your own specific... Vollständige Beschreibung

Libristo-Code: 19691060

88 b

36.35 €

Externes Lager Wir versenden in 9-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Programming Rust Jim Blandy

Broschur

63.70 €

Kafka - The Definitive Guide Todd Palino

Broschur

63.70 €

Mariadb and MySQL Common Table Expressions and Window Functions Revealed Daniel Bartholomew

Broschur

28.75 €

Expert Oracle Database Architecture Darl Kuhn

Broschur

65.62 €

Efficient MySQL Performance Daniel Nichter

Broschur

52.76 €

MySQL 8 Query Performance Tuning Jesper Wisborg Krogh

Broschur

44.15 €

Cloud Native Architecture and Design Shivakumar R. Goniwada

Broschur

55.90 €

MySQL Concurrency Jesper Wisborg Krogh

Broschur

55.90 €

SQL for Data Analysis Cathy Tanimura

Broschur

49.01 €

Big Breaches Neil Daswani

Broschur

26.93 €

Radical Candor: Fully Revised & Updated Edition Kim Scott

Broschur

7.18 €

Measure What Matters John Doerr

Broschur

14.17 €

Site Reliability Workbook Niall Richard Murphy

Broschur

48.00 €

Motivation-based Interviewing Carol Quinn

Broschur

27.54 €

Understanding Software Dynamics Richard Sites

Broschur

50.73 €

Google Cloud Cookbook Rui Costa

Broschur

52.76 €

NASA Software Safety Guidebook: Nasa-Gb-8719.13 National Aeronautics and Space Administr

Broschur

28.35 €

Learning Chaos Engineering Russ Miles

Broschur

52.76 €

97 Things Every Engineering Manager Should Know Camille Fournier

Broschur

37.06 €

Chaos Engineering Casey Rosenthal

Broschur

63.70 €

Building Secure and Reliable Systems Heather Adkins

Broschur

63.70 €

Distributed Algorithms: A Verbose Tour Fourre Sigs

Broschur

21.26 €

Distributed Tracing in Practice Daniel Spoonhower

Broschur

63.70 €

Software Architecture: The Hard Parts Mark Richards

Broschur

63.70 €

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 applications, including a blockchain example. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications. What You'll Learn Write and read TLA+ specifications Use TLA+ specifications to find complex bugs in software projects before you've started writing any implementation code Work with concurrency and temporal logic using TLA+ Apply TLA+ in practice using example applications from blockchain, shopping, and worker pools Who This Book Is For Those with programming experience who are new to design and to TLA+.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Practical TLA+

Autor Hillel Wayne

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 221

EAN 9781484238288

ISBN 1484238281

Libristo-Code 19691060

Verlag APress

Gewicht 480

Abmessungen 254 x 180 x 12

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert