Unfoldings: A Partial-Order Approach to Model Checking di Javier Esparza, Keijo Heljanko Prezzo: € 78.87  (Leggi i dettagli) Normalmente disponibile in 6/7 giorni lavorativi

(puoi sempre toglierlo dopo)

Dettagli del prodotto

• Titolo: Unfoldings: A Partial-Order Approach to Model Checking
• Autori: Javier Esparza, Keijo Heljanko
• Editore: Springer
• Data di Pubblicazione: Novembre 2010
• ISBN: 9783642096051
• Reparto: Logic Design

Condividi "Unfoldings: A Partial-Order Approach to Model Checking" con i tuoi amici

Commenti degli utenti