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.

Codice articolo 18532278

Dati bibliografici

• Titolo: Concurrency Verification
• Editore: Cambridge University Press
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 0521806089
• ISBN 13: 9780521806084
• Rilegatura: 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