Conte aos seus amigos sobre este item:
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
Bob Plamondon
Preço
₩ 79.000
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 20 - 24 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
Bob Plamondon
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 | German |
| Editor | Bernardo, Marco |
| Editor | Corradini, Flavio |
Ver tudo de Bob Plamondon ( por exemplo Paperback Book )