Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Libros - Pearson Education (US) - 9780321143068 - 20 de agosto de 2002
En caso de que portada y título no coincidan, el título será el correcto

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1.º edición

Precio
$ 44,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 30 de jun.
Añadir a tu lista de deseos de iMusic

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.


384 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de agosto de 2002
ISBN13 9780321143068
Editores Pearson Education (US)
Páginas 384
Dimensiones 233 × 186 × 28 mm   ·   688 g
Lengua Inglés  

Mas por Leslie Lamport

Mostrar todo

Mere med samme udgiver