Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science - Eric Y.T. Juan - Livros - Springer-Verlag New York Inc. - 9781402070259 - 30 de abril de 2002

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Eric Y.T. Juan
Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science Eric Y.T. Juan 2002 edition

Name: Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science
Price: 655.9 BRL
Availability: OutOfStock
Author: Eric Y.T. Juan

Preço

R$ 655,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 7 de out

Receba avisos sobre novos lançamentos de Eric Y.T. Juan

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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:

Paperback Book

Softcover reprint of the original 1st ed. 2002 edition

(2012) R$ 571,90

Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science

Eric Y.T. Juan

2002 edition

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

196 pages, biography

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	30 de abril de 2002
ISBN13	9781402070259
Editoras	Springer-Verlag New York Inc.
Páginas	196
Dimensões	155 × 235 × 14 mm · 494 g
Idioma	Inglês