Related Books
Language: en
Pages: 20
Pages: 20
Type: BOOK - Published: 1993 - Publisher:
Language: en
Pages: 20
Pages: 20
Type: BOOK - Published: 1993 - Publisher:
Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterminist
Language: en
Pages: 704
Pages: 704
Type: BOOK - Published: 1995 - Publisher:
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 1984 - Publisher:
Language: en
Pages: 476
Pages: 476
Type: BOOK - Published: 1993 - Publisher: