Related Books
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: 1989-02-22 - Publisher: Springer Science & Business Media
The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 1988 - Publisher:
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 1988 - Publisher:
Language: en
Pages: 383
Pages: 383
Type: BOOK - Published: 2010-02-24 - Publisher: Springer Science & Business Media
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all emin
Language: en
Pages: 804
Pages: 804
Type: BOOK - Published: 2001-11-26 - Publisher: Cambridge University Press
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.