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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Wayne, Hillel (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: [New York, NY] : Apress, [2018]
Temas:
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.
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

Internet

Texto completo (Requiere registro previo con correo institucional)

Items no disponibles

Detalle de Existencias desde

Ejemplares similares