Concurrency Verification

Hooman Jozef de Boer Frank de Roever Willem-Paul

ISBN 10: 0521806089 / ISBN 13: 9780521806084

Editore: Cambridge University Press, 2001

Riguardo questo articolo

pp. 800 Illus. Codice articolo 8364259

Dati bibliografici

Titolo: Concurrency Verification

Casa editrice: Cambridge University Press

Data di pubblicazione: 2001

Legatura: Rilegato

Condizione: New

Descrizione articolo

Riassunto:

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

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