Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 - Rolf Drechsler - Livros - Springer - 9783658099930 - 25 de junho de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 edition

Rolf Drechsler

Preço
CA$ 82,14

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de set
Adicione à sua lista de desejos do iMusic

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 2015 edition

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.


313 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 25 de junho de 2015
ISBN13 9783658099930
Editoras Springer
Páginas 313
Dimensões 168 × 240 × 18 mm   ·   521 g
Idioma French  
Editor Drechsler, Rolf
Editor Kuhne, Ulrich

Mostrar tudo

Mais por Rolf Drechsler