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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Wayne, Hillel (Author)
Format: Electronic eBook
Language:Inglés
Published: [New York, NY] : Apress, [2018]
Subjects:
Programming languages (Electronic computers)
SDL (Computer program language)
SDL (Langage de programmation)
Computer programming > software development.
Software Engineering.
Programming & scripting languages: general.
COMPUTERS > Programming Languages > General.
Online Access:Texto completo (Requiere registro previo con correo institucional)

Internet

Texto completo (Requiere registro previo con correo institucional)

Error inesperado del formato de respuesta.
Holdings details from

Similar Items