Patrice Godefroid
Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State Explosion Problem - Lecture Notes in Computer Science Patrice Godefroid

Name: Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State Explosion Problem - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Patrice Godefroid

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State Explosion Problem - Lecture Notes in Computer Science

Patrice Godefroid

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

143 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	24 de enero de 1996
ISBN13	9783540607618
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	143
Dimensiones	156 × 234 × 8 mm · 226 g
Lengua	Alemán
Editor	Godefroid, Patrice