Middelburg, Cornelis A. books & textbook
Instruction Sequences for Computer Science (Atlantis Studies in Computing, Vol. 2) (Atlantis Studies in Computing, 2)
Bergstra, Jan A Middelburg, Cornelis A.
Atlantis Press /2012-06-22 Hardcover / 248 Pages
isbn-10: 9491216643 / isbn-13: 9789491216640
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Feijs, Loe M.G. Jonkers, Hans B.M. Middelburg, Cornelis A.
Springer /1994-10-19 Paperback / 437 Pages
isbn-10: 3540199020 / isbn-13: 9783540199021
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Chapman & Hall /1993-01-01 Hardcover / 404 Pages
isbn-10: 0412486806 / isbn-13: 9780412486807
