• Tutti i prezzi includono l'IVA.
Disponibilità: solo 3 -- ordina subito (ulteriori in arrivo).
Venduto e spedito da Amazon. Confezione regalo disponibile.
+ EUR 4,20 di spedizione
Usato: Buone condizioni | Dettagli
Venduto da Hinoyama#EU
Condizione: Usato: Buone condizioni
Commento: Prodotti inviati del Giappone e spedizione tra 2 e 4 settimane € Articoli imballati con cura e ben protteti € Risposta in meno di 24h.
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
EUR 152,16
EUR 148,38 EUR 91,30
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

  • Copertina rigida: 426 pagine
  • Editore: Springer-Verlag New York Inc; 2010 ed. edizione (13 ottobre 2010)
  • Lingua: Inglese
  • ISBN-10: 3642145086
  • ISBN-13: 978-3642145087
  • Peso di spedizione: 771 g
  • Media recensioni: Recensisci per primo questo articolo
  • Posizione nella classifica Bestseller di Amazon: n. 1.406.710 in Libri in altre lingue (Visualizza i Top 100 nella categoria Libri in altre lingue)
  • Visualizza indice completo
  • Garanzia e recesso: Se vuoi restituire un prodotto entro 30 giorni dal ricevimento perché hai cambiato idea, consulta la nostra pagina d'aiuto sul Diritto di Recesso. Se hai ricevuto un prodotto difettoso o danneggiato consulta la nostra pagina d'aiuto sulla Garanzia Legale. Per informazioni specifiche sugli acquisti effettuati su Marketplace consultaMaggiori informazioni la nostra pagina d'aiuto su Resi e rimborsi per articoli Marketplace.

    Hai trovato questo prodotto a un prezzo più basso?
    Se sei un venditore per questo prodotto, desideri suggerire aggiornamenti tramite il supporto venditore?


Recensioni clienti

Non sono ancora presenti recensioni clienti.
Condividi i tuoi pensieri con altri clienti

Dove è il mio ordine?

Spedizioni e resi

Hai bisogno di aiuto?