Siirry suoraan sisältöön
Constructive Methods in Computing Science
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