Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer - Bob Plamondon - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540230687 - 1 de setembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Bob Plamondon
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer 2004 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Bob Plamondon

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

Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

297 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de setembro de 2004
ISBN13 9783540230687
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Cultural Region > Canadian
Páginas 297
Dimensões 160 × 240 × 16 mm   ·   435 g
Idioma Alemão  
Editor Bernardo, Marco
Editor Corradini, Flavio

Mais da mesma editora

Ver tudo de Bob Plamondon