Articoli correlati a Model Checking

Model Checking

Valutazione media 4
( su 1 valutazioni fornite da Goodreads )
 
9780262038836: Model Checking
Vedi tutte le copie di questo ISBN:
 
 

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

1.

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening,
Editore: MIT Press Ltd, United States (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria

Descrizione libro Hardback. Condizione: New. second edition. Language: English. Brand new Book. An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers. Codice articolo AAZ9780262038836

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 59,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

2.

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Editore: The MIT Press (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 3
Da
Books Puddle
(New York, NY, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo 26375701011

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 56,29
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,37
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

3.

Edmund M. Clarke Jr.
Editore: MIT Press Ltd (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 3
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria

Descrizione libro HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo GB-9780262038836

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 59,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

4.

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Editore: The MIT Press (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 5
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo 32453547-n

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 60,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,23
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

5.

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Editore: The MIT Press (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 1
Da
Speedy Hen
(London, Regno Unito)
Valutazione libreria

Descrizione libro Condizione: New. Bookseller Inventory # ST0262038838. Codice articolo ST0262038838

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 47,28
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 16,42
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

6.

Edmund M. Clarke
Editore: The MIT Press 2018-12-04, Cambridge, Massachusetts (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria

Descrizione libro hardback. Condizione: New. Language: ENG. Codice articolo 9780262038836

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 62,31
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,40
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

7.

Helmut Veith
Editore: Mit Press Ltd, Cambridge, Mass. (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria

Descrizione libro Hardcover. Condizione: new. Hardcover. An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model-representing, for example, a hardware or software design-satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers. An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780262038836

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 69,15
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

8.

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Editore: The MIT Press (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 3
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo ria9780262038836_new

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 63,60
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,21
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

9.

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Editore: MIT Press 2019-01-01 (2019)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 3
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria

Descrizione libro Hardcover. Condizione: New. Codice articolo 6666-GRD-9780262038836

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 54,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,60
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

10.

Clarke Jr., Edmund M.; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
Editore: The MIT Press (2018)
ISBN 10: 0262038838 ISBN 13: 9780262038836
Nuovo Rilegato Quantità: 5
Da
GreatBookPricesUK
(Castle Donington, DERBY, Regno Unito)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo 32453547-n

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 56,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,61
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro