Model Checking

3,36 valoración promedio
( 11 valoraciones por Goodreads )
 
9780262032704: Model Checking

Book by Edmund M Clarke Jr Orna Grumberg Doron A Peled

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:

" Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. Theauthors include the foremost experts. This is the first trulycomprehensive treatment of a line of research that has gone fromconception to industrial practice in only two decades." R. P. Kurshan , Distinguished Member Technical Staff, Bell Laboratories

Reseña del editor:

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers.The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 3,46
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Edmund M., Jr. Clarke; Orna Grumberg; Doron A. Peled
Editorial: MIT Press 2000-02-04 (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Cantidad: 3
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción MIT Press 2000-02-04, 2000. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-BER-00043871

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 48,37
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,46
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Edmund M. Clarke Jr., Orna Grumberg, Dor
Editorial: The MIT Press (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 1999. Hardcover. Estado de conservación: New. Nº de ref. de la librería P110262032708

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 49,75
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,66
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Clarke, E.M.; Grumberg, Orna; Peled, Doron A.
Editorial: MIT Press Ltd (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 3
Librería
Valoración
[?]

Descripción MIT Press Ltd, 1999. Estado de conservación: New. 1999. n. Hardcover. This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers. Num Pages: 330 pages, 99. BIC Classification: UGK; UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 188 x 23. Weight in Grams: 694. . . . . . . Nº de ref. de la librería V9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 55,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Jr. Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editorial: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2000. Hardback. Estado de conservación: New. Pr.. 230 x 186 mm. Language: English . Brand New Book. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking.The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Nº de ref. de la librería AAU9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,39
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Jr. Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editorial: MIT Press Ltd, United States (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2000. Hardback. Estado de conservación: New. Pr.. 230 x 186 mm. Language: English . Brand New Book. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Nº de ref. de la librería AAU9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,43
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Clarke, E.M.; Grumberg, Orna; Peled, Doron A.
Editorial: MIT Press Ltd
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 3
Librería
Kennys Bookstore
(Olney, MD, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press Ltd. Estado de conservación: New. 1999. n. Hardcover. This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers. Num Pages: 330 pages, 99. BIC Classification: UGK; UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 188 x 23. Weight in Grams: 694. . . . . . Books ship from the US and Ireland. Nº de ref. de la librería V9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,02
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Jr., Edmund M. Clarke; Grumberg, Orna; Peled, Doron A.
Editorial: The MIT Press
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press. Hardcover. Estado de conservación: New. 0262032708 New Condition. Nº de ref. de la librería NEW6.0110072

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,98
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,44
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Edmund Clarke
Editorial: MIT Press 2000-02-04, Cambridge, Mass. (2000)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 1
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción MIT Press 2000-02-04, Cambridge, Mass., 2000. hardback. Estado de conservación: New. Nº de ref. de la librería 9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 55,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,20
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Edmund M., Jr. Clarke; Orna Grumberg; Doron A. Peled
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Cantidad: 1
Librería
Speedy Hen LLC
(Sunrise, FL, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Bookseller Inventory # ST0262032708. Nº de ref. de la librería ST0262032708

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,97
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Edmund M. Clarke, Orna Grumberg, Doron A. Peled
Editorial: MIT Press Ltd
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevos Tapa dura Cantidad: 5
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd. Hardback. Estado de conservación: new. BRAND NEW, Model Checking, Edmund M. Clarke, Orna Grumberg, Doron A. Peled, Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. Nº de ref. de la librería B9780262032704

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 56,54
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,87
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda