Nuovo:
172,39 €
Tutti i prezzi includono l'IVA.
Consegna a 2,90 € 19 - 23 giugno. Maggiori informazioni
Generalmente spedito entro 3-4 giorni
[{"displayPrice":"172,39 €","priceAmount":172.39,"currencySymbol":"€","integerValue":"172","decimalSeparator":",","fractionalValue":"39","symbolPosition":"right","hasSpace":true,"showFractionalPartIfEmpty":true,"offerListingId":"HZNFvls%2B1wE7b5Rq8ohi0UcVeKcLXNrbsMO8bKK%2F4FFynFEKarcVyv%2Bn%2Bo7k5xFK2h%2Fm4telsjV4rerNHgyW83kn%2F%2FXEpwfSF%2FUT71hEgh%2B2LpXuMBuCG5S4HikHrPlx9maZa9dY6x1YYqfrMVxJ%2F4n%2B%2FlodIghAEmsN8dwR3AN8%2BCyiht%2BG%2BZxt0wMKfdfV","locale":"it-IT","buyingOptionType":"NEW"}]
172,39 € € () Include le opzioni selezionate. Include il pagamento mensile iniziale e le opzioni selezionate. Dettagli
Prezzo
Subtotale
172,39 € €
Subtotale
Scomposizione del pagamento iniziale
Costi e data di spedizione e totale dell'ordine (tasse incluse) indicati al momento del pagamento.
Pagamento
Transazione sicura
La transazione è sicura
Ci impegniamo a proteggere i tuoi dati e la tua privacy. Il nostro sistema di protezione dei pagamenti crittografa i tuoi dati durante la trasmissione. Non divulghiamo i dati della tua carta di credito a venditori terzi né rivendiamo i tuoi dati personali a terze parti. Maggiori informazioni
Spedizione
London Lane Italia
Venditore
London Lane Italia
Pagamento
Transazione sicura
Ci impegniamo a proteggere i tuoi dati e la tua privacy. Il nostro sistema di protezione dei pagamenti crittografa i tuoi dati durante la trasmissione. Non divulghiamo i dati della tua carta di credito a venditori terzi né rivendiamo i tuoi dati personali a terze parti. Maggiori informazioni
Spedizione
London Lane Italia
Venditore
London Lane Italia
Ne hai uno da vendere?
Vendi su Amazon
Confronta offerte su Amazon
Aggiunto
178,34 €
& Spedizione GRATUITA
Venduto da: Paragon OS
Venduto da: Paragon OS
(34 valutazioni)
97% positive per tutta la durata
Generalmente spedito entro 6-7 giorni.
Costi di spedizione e Politica di reso
Immagine del logo dell'app Kindle

Scarica l'app Kindle gratuita e inizia a leggere immediatamente i libri Kindle sul tuo smartphone, tablet o computer, senza bisogno di un dispositivo Kindle. Maggiori informazioni

Leggi immediatamente sul browser con Kindle per il Web.

Con la fotocamera del cellulare scansiona il codice di seguito e scarica l'app Kindle.

Codice QR per scaricare l'app Kindle

Passa al retro Passa al fronte

Segui l'autore

Andre Platzer
Si è verificato un errore. Riprova a effettuare la richiesta più tardi.

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics Copertina rigida – 5 settembre 2010

Edizione Inglese di Andre Platzer (Autore), Edmund M. Clarke (Avanti)
5,0 5,0 su 5 stelle 1 voti
Visualizza tutti i formati ed edizioni
Prezzo Amazon
Nuovo a partire da Usato da
Formato Kindle
65,51 €
— —
Copertina rigida
172,39 €
106,99 € —
Copertina flessibile
106,99 €
106,99 € —

Opzioni di acquisto e componenti aggiuntivi

Previous page
  1. Lunghezza stampa
    426 pagine
  2. Lingua
    Inglese
  3. Editore
    Springer-Nature New York Inc
  4. Data di pubblicazione
    5 settembre 2010
  5. Dimensioni
    15.6 x 2.54 x 23.39 cm
  6. ISBN-10
    9783642145087
  7. ISBN-13
    978-3642145087
  8. Visualizza tutti i dettagli
Next page

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.

Dettagli prodotto

  • ASIN ‏ : ‎ 3642145086
  • Editore ‏ : ‎ Springer-Nature New York Inc; 2010° edizione (5 settembre 2010)
  • Lingua ‏ : ‎ Inglese
  • Copertina rigida ‏ : ‎ 426 pagine
  • ISBN-10 ‏ : ‎ 9783642145087
  • ISBN-13 ‏ : ‎ 978-3642145087
  • Peso articolo ‏ : ‎ 929 g
  • Dimensioni ‏ : ‎ 15.6 x 2.54 x 23.39 cm
  • Recensioni dei clienti:
    5,0 5,0 su 5 stelle 1 voti

Informazioni sull'autore

Segui gli autori per ottenere aggiornamenti sulle nuove uscite, oltre a consigli avanzati.

Andre Platzer

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Scopri di più sui libri dell'autore, guarda autori simili, leggi i blog dell’autore e altro ancora

Recensioni clienti

5,0 su 5 stelle
5 su 5
1 valutazione globale
5 stelle
100%
4 stelle 0% (0%) 0%
3 stelle 0% (0%) 0%
2 stelle 0% (0%) 0%
1 stella 0% (0%) 0%

Recensioni migliori da Italia

Ci sono 0 recensioni e 0 valutazioni dall'Italia

Le recensioni migliori da altri paesi

Traduci tutte le recensioni in Italiano
Bricoleur
5,0 su 5 stelle La référence
Recensito in Francia 🇫🇷 il 27 ottobre 2016
Acquisto verificato
Segnala
Traduci recensione in Italiano