Concurrency Verification Introduction to Compositional and Non-compositional Methods. Questo articolo non è disponibile.
Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
Lingua: inglese
Editore: Cambridge University Press, 2001
- Rilegato
- Nuovo
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Venditore con 4 stelle
Venditore AbeBooks dal 22 febbraio 2022
Non disponibile
Rilegato
Condizione: Nuovo
EUR 121,12
Descrizione dell’articolo da parte del venditore
Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Codice articolo SNTA-36679
- Titolo
- Concurrency Verification Introduction to Compositional and Non-compositional Methods
- Autore
- Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
- Editore
- Cambridge University Press
- Anno di pubblicazione
- 2001
- Condizione
- New
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 0521806089
- ISBN 13
- 9780521806084
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Recensione
Review of the hardback: 'The present textbook is a highly welcome addition to the existing literature on program verification, particularly valuable for the well-arranged, methodically unified framework for a wealth of material.' Zentralblatt für Mathematik und ihre Grenzgebiete Mathematics Abstracts
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per Concurrency Verification Introduction to Compositional and Non-compositional Methods
Ci sono altre 1 copie di questo libroVisualizza tutti i risultati