Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Livros - Pearson Education (US) - 9780321143068 - 20 de agosto de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1º edição

Preço
R$ 236,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Leslie Lamport
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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


384 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de agosto de 2002
ISBN13 9780321143068
Editoras Pearson Education (US)
Páginas 384
Dimensões 233 × 186 × 28 mm   ·   688 g
Idioma Inglês  

Mais por Leslie Lamport

Mostrar tudo

Mais da mesma editora