The Temporal Logic of Reactive and Concurrent Systems: Specification - Zohar Manna - Livros - Springer-Verlag New York Inc. - 9780387976648 - 18 de dezembro de 1991
Caso a capa e o título não sejam correspondentes, considere o título como correto

Zohar Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification 1992 edition

Preço
R$ 628,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 Zohar Manna

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

427 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 18 de dezembro de 1991
ISBN13 9780387976648
Editoras Springer-Verlag New York Inc.
Páginas 427
Dimensões 241 × 166 × 31 mm   ·   798 g
Idioma Inglês  

Mais por Zohar Manna

Mostrar tudo

Mais da mesma editora

Ver tudo de Zohar Manna