Tallenna
Constructive Methods in Computing Science
Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems.
- Alaotsikko
- International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
- Toimittaja
- Manfred Broy
- Painos
- Softcover reprint of the original 1st ed. 1989
- ISBN
- 9783642748868
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.12.2011
- Sivumäärä
- 478
