Tag Formale Methoden
Tagged Works
1
1
1
1
1
1
1
1
- The foundations of program verification by Jacques Loeckx
- Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science) by Helmut A. Partsch
- Classical Mind, A: Essays in Honour of CAR Hoare by A. W. Roscoe
- Concurrent and Distributed Systems: The Theory and Practice of Concurrency (Prentice Hall Internationa Series in Compute by A. W. Roscoe
- Developments in Concurrency and Communication (The Year of Programming series) by C.A.R. Hoare
- Communication and Concurrency by Robin Milner
- Communicating Sequential Processes by C.A.R. Hoare
- Selected Writings on Computing: A Personal Perspective by Edsger W. Dijkstra
Using the Tag
AFBorchert (8)
Related Series
Aliases and Translations
Includes: Formale Methoden, formale methoden