Ricerca Veloce:    
Ricerca Avanzata
 

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

 

  • Prezzo: € 94.91
Spedizione gratuita  Promozione: questo prodotto ha diritto alla spedizione gratuita (Leggi i dettagli)
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello

Spedizione gratuita sopra i 19€

Dettagli del libro

  • 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: December 2010
  • ISBN: 3642165605
  • ISBN-13: 9783642165603
  • Pagine: 00500
  • Reparto: Logic Design

Recensioni degli utenti

Scrivi una nuova recensione 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.

Ultimi prodotti visti