|
|
 |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, Normalmente disponibile in 6/7 giorni lavorativi |
 (puoi sempre toglierlo dopo) |
Dettagli del prodotto
-
Titolo:
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
-
Redattori:
Tiziana Margaria, Bernhard Steffen
-
Editore:
Springer
-
Data di Pubblicazione:
Dicembre 2010
-
ISBN:
9783642165603
-
Reparto:
Logic Design
Condividi "Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion," con i tuoi amici    
Commenti degli utenti
Scrivi un nuovo commento su Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, e condividi la tua opinione con altri utenti. |
Carrello
€ 10.02
€ 25.66
€ 20.30
€ 13.92 € 11.83
€ 4.93
€ 60.13