Systems software verification model checking (13 risultati)
- Rilegato
Da: Anybook.com, Lincoln, Regno UnitoAnybook.com
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 12,26
EUR 15,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
- Rilegato
Da: PAPER CAVALIER UK, London, Regno UnitoPAPER CAVALIER UK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 23,79
EUR 7,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 112,54
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,41
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,41
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,40
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 169,86
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 131,10
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Systems and Software Verification | Model-Checking Techniques and Tools | B. Berard (u. a.) | Taschenbuch | xii | Englisch | 2010 | Springer | EAN 9783642074783 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com |…Anbieter: preigu.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 156,28
EUR 61,62 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic int…roduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 221,00
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 196 pages. 8.90x6.10x0.60 inches. In Stock.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 247,65
EUR 17,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 238,04
EUR 29,18 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. Like New. book.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 272,90
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
