by M. Broy
No reviews yet. Be the first!
Formal methods in programming and their ...
Methods of programming
Software pioneers
Software system reliability and security
Formal systems specification
Programming and mathematical method