Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers Tapa blanda - 2002
de Leslie Lamport
Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.
Descripción de contraportada
"TLA+ represents the only effective methodology I've seen for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers."
--Brannon Batson, Processor Architect, Intel Corporation This long-awaited book shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system--what that system is allowed to do. The emphasis here is on safety properties. The second part of the book covers more advanced topics, including liveness and fairness, real-time properties, and composition.
The book's final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual. TLA+ is the language developed by the author for writing simple and elegant specifications of algorithms and protocols and for verifying the correctness of a design. The language already has proved to be a valuable aid in understanding and building concurrent and distributed systems. Tools for TLA+ syntax analysis and model checking are freely available from the Web, where you can also find supplemental materials for this book, including exercises.
032114306XB06262002Detalles
- Título Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
- Autor Leslie Lamport
- Encuadernación Tapa blanda
- Edición First Edition
- Páginas 384
- Volúmenes 1
- Idioma ENG
- Editorial Addison-Wesley Professional, Lebanon, Indiana, U.S.A
- Fecha de publicación July 19, 2002
- Ilustrado Sí
- ISBN 9780321143068 / 032114306X
- Peso 1.7 libras (0.77 kg)
- Dimensiones 9.2 x 7.3 x 1 pulgadas (23.37 x 18.54 x 2.54 cm)
- Library of Congress subjects System design, Logic, Symbolic and mathematical
- Número de catálogo de la Librería del Congreso de EEUU 2002074369
- Dewey Decimal Code 004.21
Más ejemplares
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- good
- First
- Estado
- Usado - Good
- Edición
- 1
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Cantidad disponible
- 1
- Librería
-
Philadelphia, Pennsylvania, United States
- Precio
-
EUR 23.08Envío gratuito a USA
Mostrar detalles
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Leslie Lamport
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Cantidad disponible
- 1
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 31.58EUR 11.76 enviando a USA
Mostrar detalles
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- Estado
- Used - Good
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Cantidad disponible
- 1
- Librería
-
Mishawaka, Indiana, United States
- Precio
-
EUR 27.40Envío gratuito a USA
Mostrar detalles
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- Tapa blanda
- Estado
- Used: Good
- Edición
- 1
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 32.05Envío gratuito a USA
Mostrar detalles
Specifying Systems
de Leslie Lamport
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306x
- Cantidad disponible
- 1
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 45.46EUR 9.45 enviando a USA
Mostrar detalles
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
de Leslie Lamport
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 1
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 47.17EUR 11.82 enviando a USA
Mostrar detalles
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
de Leslie Lamport
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 51.33EUR 11.82 enviando a USA
Mostrar detalles
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- Tapa blanda
- Estado
- Used:Good
- Edición
- 1
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 42.96Envío gratuito a USA
Mostrar detalles
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 1
- Librería
-
GORING BY SEA, West Sussex, United Kingdom
- Precio
-
EUR 54.26EUR 10.13 enviando a USA
Mostrar detalles
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
de Lamport, Leslie
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780321143068 / 032114306X
- Cantidad disponible
- 1
- Librería
-
San Diego, California, United States
- Precio
-
EUR 84.87EUR 5.12 enviando a USA