by International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) , denmark International Symposium of Formal Methods Europe 1993 Odense , J. C. P. Woodcock
No reviews yet. Be the first!
Advances in Computers, Volume 49 (Advanc...
Software Engineering
Interactive Computing Series
The C Programming Language
Mastering today's software
Introducing Computers