Leeser - Hardware Specification Verification and Synthesis Mathemati - X555z

Formal Specification and Synthesis of Procedural Controllers for Process System

Bibel - Mathematical Methods of Specification and Synthesis of Softwar - X555z

Partsch - Specification and Transformation of Programs A Formal Appr - X555z

Principles Of Servo Mechanisms dynamics and synthesis of closed loop control sys

Oshida - Hydroxyapatite Synthesis and Applications - New paperback or - X555z

VANMARCKE - RANDOM FIELDS ANALYSIS AND SYNTHESIS REVISED AND EXPANDE - X555z

Davis - Procedural Control The Future of the Provincial Reconstructio - X555z