Artículos relacionados a Unfoldings: A Partial-Order Approach to Model Checking...
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) - Tapa dura
Sinopsis
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
From the reviews:
"In this book the authors show that the study of ‘unfoldings’, a mathematical formalism for the description and analysis of concurrent systems, alleviates the state explosion problem. ... Most of the chapters are self-contained in order to increase the readability of the content. ... The book provides a good overview on unfoldings techniques to researchers and graduate students engaged in model checking and concurrency theory. It can also be of interest to other people, outside computer science, since concurrency occurs everywere." (Viorel Mihai Gontineac, Zentrablatt MATH, Vol. 1153, 2009)
“The authors are leading experts in the field and provide an excellent account of the most important results in unfoldings within a coherent framework, which is accompanied by many examples. ... Overall, this monograph is a success and highly recommended reading for everyone interested in concurrency and automatic verification.” (Gerald Lüttgen, Mathematical Reviews, Issue 2011 k)
Reseña del editor
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 22,62
EUR 10,25 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Unfoldings: A Partial-Order Approach to Model Checking...
Imagen del vendedor
Unfoldings. A Partial-Order Approach to Model Checking.
Publicado por
Berlin, Springer Berlin Heidelberg, 2008
ISBN 10: 3540774254
ISBN 13: 9783540774259
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. 172 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540774259 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2340501
Cantidad disponible: 1 disponibles
Imagen del vendedor
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Publicado por
Springer 27.03.2008., 2008
ISBN 10: 3540774254
ISBN 13: 9783540774259
Antiguo o usado
Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Auflage: 2008. 172 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 23,6 x 15,8 x 1,6 cm, Gebundene Ausgabe. Nº de ref. del artículo: 370923
Cantidad disponible: 1 disponibles
Imagen de archivo
Unfoldings
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 188 Illus. Nº de ref. del artículo: 7592284
Cantidad disponible: 4 disponibles
Imagen de archivo
Unfoldings (Hb)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-76188
Cantidad disponible: 5 disponibles
Imagen de archivo
Unfoldings
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 188. Nº de ref. del artículo: 26288387
Cantidad disponible: 4 disponibles
Imagen de archivo
Unfoldings (Hb)
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-76188
Cantidad disponible: 5 disponibles
Imagen de archivo
Unfoldings : A Partial-Order Approach to Model Checking
Publicado por
Springer Berlin Heidelberg, 2008
ISBN 10: 3540774254
ISBN 13: 9783540774259
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 4160485/2
Cantidad disponible: 1 disponibles
Imagen de archivo
Unfoldings : A Partial-Order Approach to Model Checking
Publicado por
Springer Berlin Heidelberg, 2008
ISBN 10: 3540774254
ISBN 13: 9783540774259
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Hervorragend. Zustand: Hervorragend | Seiten: 188 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 4160485/1
Cantidad disponible: 1 disponibles
Imagen de archivo
Unfoldings
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 188. Nº de ref. del artículo: 18288393
Cantidad disponible: 4 disponibles
Edición internacional
Unfoldings (Hb)
Edición internacionalLibrería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Nº de ref. del artículo: CvS 9783540774259
Cantidad disponible: Más de 20 disponibles