Mathematical Methods of Specification and Synthesis of Software Systems '85

Energy Minimization Methods in Computer Vision and Pattern Recognition: Third In

An Introduction to Formal Specification With Z and Vdm, Deri Sheppard

Numerical Methods and Software Tools in Industrial Mathematics, A. Tveito et M.

Software Engineering: Principles and Methods, B. Ratcliff

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv

Fiscal Harmonization in the European Communities: National Politics and Internat

Bazilla - Feen-Internat in Gefahr: Band 2, Heike Eva Schmidt