Concurrency Verification: Introduction to Compositional and Non-compositional Methods - Rilegato

Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job

 
9780521806084: Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Rilegato
ISBN 10: 0521806089 ISBN 13: 9780521806084
Casa editrice: Cambridge University Press, 2001

Sinossi

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse 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 del libro

This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0521806089
ISBN 13 
9780521806084
Rilegatura
Copertina rigida
Numero di pagine
800
Contatto del produttore
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italia

Altre edizioni note dello stesso titolo

9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Edizione in evidenza

ISBN 10:  0521169321 ISBN 13:  9780521169325
Casa editrice: Cambridge University Press, 2011
Brossura