Springer Nature
Formal Modeling And Verification Of Cyber-Physical Systems
Miglior prezzo disponibile
39,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 39,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Formal Modeling And Verification Of Cyber-Physical Systems
54,99$
Design And Verification Of Cyber-Physical Systems: From Theory To Applications
69,99$
Cyber Physical Systems. Design, Modeling, And Evaluation
39,99$
Data-Driven Modeling Of Cyber-Physical Systems Using Side-Channel Analysis
109,99$
Cyber-Physical Systems Of Systems
59,99$
Safety And Security Of Cyber-Physical Systems
27,99$
Security Of Industrial Control Systems And Cyber Physical Systems
39,99$
Security Of Industrial Control Systems And Cyber-Physical Systems
54,99$