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

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

 
9780521169325: Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Brossura
ISBN 10: 0521169321 ISBN 13: 9780521169325
Casa editrice: Cambridge University Press, 2011

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
2011
Lingua
Inglese
ISBN 10 
0521169321
ISBN 13 
9780521169325
Rilegatura
Copertina flessibile
Numero di pagine
800
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0521806089 ISBN 13:  9780521806084
Casa editrice: Cambridge University Press, 2001
Rilegato