Edmund M. Clarke Model Checking

ISBN 13: 9780262032704

Model Checking

3,42 valoración promedio
( 12 valoraciones por Goodreads )
 
9780262032704: Model Checking
Ver todas las copias de esta edición ISBN.
 
 

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.

Los mejores resultados en AbeBooks

1.

Jr., Edmund M. Clarke; Grumberg, Orna; Peled, Doron A.
Publicado por The MIT Press
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Tapa dura Cantidad disponible: 1
Librería
Your Online Bookstore
(Houston, TX, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press. Hardcover. Condición: New. 0262032708 Ships promptly. Nº de ref. del artículo: Z0262032708ZN

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 52,19
Convertir moneda

Añadir al carrito

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

2.

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

Descripción MIT Press Ltd, 1999. Condició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. del artículo: V9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 54,05
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

3.

Edmund Clarke
Publicado por MIT Press
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Tapa dura Cantidad disponible: 1
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción MIT Press. Hardcover. Condición: New. New copy - Usually dispatched within 2 working days. Nº de ref. del artículo: B9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 49,37
Convertir moneda

Añadir al carrito

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

4.

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

Descripción MIT Press Ltd. Condició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. del artículo: V9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,01
Convertir moneda

Añadir al carrito

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

5.

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

Descripción MIT Press Ltd, United States, 2000. Hardback. Condición: New. Pr.. 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. del artículo: AAU9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,66
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.

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

Descripción MIT Press Ltd, United States, 2000. Hardback. Condición: New. Pr.. 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. del artículo: AAU9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 59,22
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

7.

Edmund M. Clarke
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Cantidad disponible: 1
Librería
Speedy Hen LLC
(Sunrise, FL, Estados Unidos de America)
Valoración
[?]

Descripción Condición: New. Bookseller Inventory # ST0262032708. Nº de ref. del artículo: ST0262032708

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 60,33
Convertir moneda

Añadir al carrito

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

8.

Edmund M. Clarke, Orna Grumberg, Doron Peled
Publicado por The MIT Press 1999-12-20, Cambridge, Mass. (1999)
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Tapa dura Cantidad disponible: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción The MIT Press 1999-12-20, Cambridge, Mass., 1999. hardback. Condición: New. Nº de ref. del artículo: 9780262032704

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 54,79
Convertir moneda

Añadir al carrito

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

9.

Edmund M. Clarke
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Cantidad disponible: 1
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Condición: New. Depending on your location, this item may ship from the US or UK. Nº de ref. del artículo: 97802620327040000000

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 62,09
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. ClarkeOrna GrumbergDoron A. Peled
Publicado por MIT Press
ISBN 10: 0262032708 ISBN 13: 9780262032704
Nuevo Cantidad disponible: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press. Condición: New. Brand New. Nº de ref. del artículo: 0262032708

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 61,26
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,94
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