Concurrency Verification: Introduction to Compositional and Non-Compositional Methods di De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich Prezzo: € 84.50  (Leggi i dettagli) Normalmente disponibile in 4/5 giorni lavorativi

(puoi sempre toglierlo dopo)

Dettagli del prodotto

• Titolo: Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
• Autori: De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich
• Editore: Cambridge University Press
• Data di Pubblicazione: Ottobre 2011
• ISBN: 9780521169325
• Reparto: Programming Languages - General

Condividi "Concurrency Verification: Introduction to Compositional and Non-Compositional Methods" con i tuoi amici

Commenti degli utenti