EUR 161,19
  • Tutti i prezzi includono l'IVA.
Disponibilità: solo 2 --ordina subito (ulteriori in arrivo).
Venduto e spedito da Amazon. Confezione regalo disponibile.
Logical Analysis of Hybri... è stato aggiunto al tuo carrello

Spedire a:
Per vedere gli indirizzi, per favore
Oppure
Inserisci un codice postale corretto.
Oppure
Ne hai uno da vendere?
Passa al retro Passa al fronte
Ascolta Riproduzione in corso... In pausa   Stai ascoltando un campione dell'edizione audio udibile.
Maggiori informazioni
Visualizza tutte le 2 immagini

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics (Inglese) Copertina rigida – 13 ott 2010


Visualizza tutti i 4 formati e le edizioni Nascondi altri formati ed edizioni
Prezzo Amazon
Nuovo a partire da Usato da
Copertina rigida
"Ti preghiamo di riprovare"
EUR 161,19
EUR 157,98 EUR 229,64
Nota: Questo articolo può essere consegnato in un punto di ritiro. Dettagli
Ritira il tuo ordine dove e quando preferisci.
  • Scegli tra gli oltre 8.500 punti di ritiro in Italia
  • I clienti Prime beneficiano di consegne illimitate presso i punti di ritiro senza costi aggiuntivi
Come inviare un ordine presso un punto di ritiro Amazon.
  1. Trova il tuo punto di ritiro preferito ed aggiungilo alla tua rubrica degli indirizzi
  2. Indica il punto di ritiro in cui vuoi ricevere il tuo ordine nella pagina di conferma d’ordine
Maggiori informazioni
click to open popover

Descrizione prodotto

Recensione

"This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund M. Clarke, Carnegie Mellon University)

Dalla quarta di copertina

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Visualizza tutta la Descrizione prodotto

Non è necessario possedere un dispositivo Kindle. Scarica una delle app Kindle gratuite per iniziare a leggere i libri Kindle sul tuo smartphone, tablet e computer.

  • Apple
  • Android
  • Windows Phone

Per scaricare una app gratuita, inserisci il numero di cellulare.



Dettagli prodotto

Recensioni clienti

Non sono ancora presenti recensioni clienti.
5 stelle
4 stelle
3 stelle
2 stelle
1 stella