Formal Methods Applied to Complex Systems

Lingua: inglese

Editore: ISTE Ltd and John Wiley and Sons Inc, GB, 2014

1848217099 / 9781848217096

Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK

Venditore con 5 stelle

Venditore AbeBooks dal 11 giugno 2025

Rilegato

Condizione: Nuovo

EUR 224,69

EUR 76,12 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 6 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of "formal methods" (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Codice articolo LU-9781848217096

Titolo
Formal Methods Applied to Complex Systems
Autore
Jean-Louis Boulanger
Editore
ISTE Ltd and John Wiley and Sons Inc, GB
Anno di pubblicazione
2014
Condizione
New
Rilegatura
Hardback
Lingua
inglese
ISBN 10
1848217099
ISBN 13
9781848217096
Peso dell'articolo
884 grammi

Rarewaves.com UK

London, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 11 giugno 2025

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 76,12EUR 117,10
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Regno Unito W1W 8BE