Practical TLA+ Planning Driven Development /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Wayne, Hillel (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berkeley, CA : Apress : Imprint: Apress, 2018.
Έκδοση:	1st ed. 2018.
Θέματα:	Programming languages (Electronic computers). Computer programming. Software engineering. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures /
Έκδοση: (1999)

Introduction to Programming with Fortran
ανά: Chivers, Ian, κ.ά.
Έκδοση: (2018)

Bad Programming Practices 101 Become a Better Coder by Learning How (Not) to Program /
ανά: Beecher, Karl, κ.ά.
Έκδοση: (2018)

Design Patterns in Modern C++ Reusable Approaches for Object-Oriented Software Design /
ανά: Nesteruk, Dmitri, κ.ά.
Έκδοση: (2018)

Regex Quick Syntax Reference Understanding and Using Regular Expressions /
ανά: Nagy, Zsolt, κ.ά.
Έκδοση: (2018)

Consolidated Ada Reference Manual Language and Standard Libraries /
Έκδοση: (2000)

The Unified Modeling Language. <<UML>>'98: Beyond the Notation First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers /
Έκδοση: (1999)

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Έκδοση: (2003)

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
Έκδοση: (1997)

Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /
Έκδοση: (2003)

C++ for Lazy Programmers Quick, Easy, and Fun C++ for Beginners /
ανά: Briggs, Will, κ.ά.
Έκδοση: (2019)

Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings /
Έκδοση: (2000)

Modular Programming Languages Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings /
Έκδοση: (1997)

Object-Oriented Technology: ECOOP '97 Workshop Reader ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings /
Έκδοση: (1998)

ECOOP '97 - Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings /
Έκδοση: (1997)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Έκδοση: (2002)

Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
Έκδοση: (2000)

Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
Έκδοση: (1999)

Reflection and Software Engineering
Έκδοση: (2000)

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
Έκδοση: (2000)

Modular Specification and Verification of Object-Oriented Programs
ανά: Müller, Peter, κ.ά.
Έκδοση: (2002)

Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /
Έκδοση: (2002)

Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
Έκδοση: (2001)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Έκδοση: (2003)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Έκδοση: (2001)

Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Έκδοση: (2000)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Έκδοση: (1999)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Έκδοση: (2004)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Principles of Package Design Creating Reusable Software Components /
ανά: Noback, Matthias, κ.ά.
Έκδοση: (2018)

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
Έκδοση: (2018)

Research and Advanced Technology for Digital Libraries First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings /
Έκδοση: (1997)

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig /
Έκδοση: (2018)

FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
Έκδοση: (1999)

Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
Έκδοση: (1998)

Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
Έκδοση: (2002)

Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
Έκδοση: (1997)

Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών