Communicating sequential processes
Communicating sequential processes
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
The Java Language Specification
The Java Language Specification
Programming in OCCAM
Introduction to the programming languages track (track introduction)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Hi-index | 0.00 |