QR-Code

Practical TLA+ Planning Driven Development /

Learn how to design complex, correct programs and fix problems before writing a single line of code. 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 b...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wayne, Hillel (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Berkeley, CA : Apress, 2018.
Ausgabe:	1st ed. 2018.
Schlagworte:	Programming languages (Electronic computers). Computer programming. Software engineering.
ISBN:	9781484238295
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bad Programming Practices 101 Become a Better Coder by Learning How (Not) to Program /
von: Beecher, Karl
Veröffentlicht: (2018)

Regex Quick Syntax Reference Understanding and Using Regular Expressions /
von: Nagy, Zsolt
Veröffentlicht: (2018)

Design Patterns in Modern C++ Reusable Approaches for Object-Oriented Software Design /
von: Nesteruk, Dmitri
Veröffentlicht: (2018)

Practical Scala DSLs Real-World Applications Using Domain Specific Languages /
von: Riti, Pierluigi
Veröffentlicht: (2018)

Practical JSF in Java EE 8 Web Applications in Java for the Enterprise /
von: Müller, Michael
Veröffentlicht: (2018)

Practical Docker with Python Build, Release and Distribute your Python App with Docker /
von: Bhat, Sathyajith
Veröffentlicht: (2018)

Practical Android 14 Complete Projects on Advanced Techniques and Approaches /
von: Wickham, Mark
Veröffentlicht: (2018)

Scala for Java Developers A Practical Primer /
von: Weston, Toby
Veröffentlicht: (2018)

Learn Rails 5.2 Accelerated Web Development with Ruby on Rails /
von: Wintermeyer, Stefan
Veröffentlicht: (2018)

Practical PHP 7, MySQL 8, and MariaDB Website Databases A Simplified Approach to Developing Database-Driven Websites /
von: West, Adrian W.
Veröffentlicht: (2018)

Principles of Package Design Creating Reusable Software Components /
von: Noback, Matthias
Veröffentlicht: (2018)

Practical Apache Spark Using the Scala API /
von: Chellappan, Subhashini
Veröffentlicht: (2018)

Web Applications with Elm Functional Programming for the Web /
von: Loder, Wolfgang
Veröffentlicht: (2018)

C++17 Quick Syntax Reference A Pocket Guide to the Language, APIs and Library /
von: Olsson, Mikael
Veröffentlicht: (2018)

Practical Video Game Bots Automating Game Processes using C++, Python, and AutoIt /
von: Shpigor, Ilya
Veröffentlicht: (2018)

Pro JPA 2 in Java EE 8 An In-Depth Guide to Java Persistence APIs /
von: Keith, Mike
Veröffentlicht: (2018)

Introduction to Python for Engineers and Scientists Open Source Solutions for Numerical Computation /
von: Nagar, Sandeep
Veröffentlicht: (2018)

Java for Absolute Beginners Learn to Program the Fundamentals the Java 9+ Way /
von: Cosmina, Iuliana
Veröffentlicht: (2018)

Learn to Program with Python 3 A Step-by-Step Guide to Programming /
von: Kalb, Irv
Veröffentlicht: (2018)

Python Descriptors Understanding and Using the Descriptor Protocol /
von: Zimmerman, Jacob
Veröffentlicht: (2018)

Spring Boot 2 Recipes A Problem-Solution Approach /
von: Deinum, Marten
Veröffentlicht: (2018)

Beginning EJB in Java EE 8 Building Applications with Enterprise JavaBeans /
von: Wetherbee, Jonathan
Veröffentlicht: (2018)

Eclipse TEA Revealed Building Plug-ins and Creating Extensions for Eclipse /
von: Duft, Markus
Veröffentlicht: (2018)

Practical Java Machine Learning Projects with Google Cloud Platform and Amazon Web Services /
von: Wickham, Mark
Veröffentlicht: (2018)

Swift 4 for Absolute Beginners Develop Apps for iOS /
von: Kaczmarek, Stefan
Veröffentlicht: (2018)

Learn Android Studio 3 with Kotlin Efficient Android App Development /
von: Hagos, Ted
Veröffentlicht: (2018)

Complete Guide to Test Automation Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects /
von: Axelrod, Arnon
Veröffentlicht: (2018)

Interactive C# Fundamentals, Core Concepts and Patterns /
von: Sarcar, Vaskaran
Veröffentlicht: (2018)

Beginning Rust From Novice to Professional /
von: Milanesi, Carlo
Veröffentlicht: (2018)

Ethereum for Architects and Developers With Case Studies and Code Samples in Solidity /
von: Mohanty, Debajani
Veröffentlicht: (2018)

Make Your Own Python Text Adventure A Guide to Learning Programming /
von: Johnson, Phillip
Veröffentlicht: (2018)

Pro Vue.js 2
von: Freeman, Adam
Veröffentlicht: (2018)

Beginning C++17 From Novice to Professional /
von: Horton, Ivor
Veröffentlicht: (2018)

Developing Turn-Based Multiplayer Games with GameMaker Studio 2 and NodeJS /
von: Rajiv, Yadu
Veröffentlicht: (2018)

Visual Design of GraphQL Data A Practical Introduction with Legacy Data and Neo4j /
von: Frisendal, Thomas
Veröffentlicht: (2018)

Testing and Tuning Market Trading Systems Algorithms in C++ /
von: Masters, Timothy
Veröffentlicht: (2018)

Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
von: Silva, Vladimir
Veröffentlicht: (2018)

Practical Node.js Building Real-World Scalable Web Apps /
von: Mardan, Azat
Veröffentlicht: (2018)

API Development A Practical Guide for Business Implementation Success /
von: Preibisch, Sascha
Veröffentlicht: (2018)

Stylish F# Crafting Elegant Functional Code for .NET and .NET Core /
von: Eason, Kit
Veröffentlicht: (2018)