Theoretical and Practical Aspects of SPIN Model Checking

← Esplora

Catalogo · 9783540482345

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

ISBN 9783540482345

Descrizione non disponibile per questo libro.

Vedi su Google Books

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare

Altri libri di Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Copertina di Concurrency, Compositionality, and Correctness

Concurrency, Compositionality, and Correctness

Dennis Dams