Algebraic Foundations of Systems Specification
Egidio Astesiano
Download - Immediately Available
Format: eBook (PDF)
Ada and Beyond : Software Policies for the Department of Defense
National Research Council
Download - Immediately Available
Format: eBook (PDF)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Download - Immediately Available
Format: eBook (PDF)
Ripple-Down Rules : The Alternative to Machine Learning
Paul (The University of New South Wales, Syndey, Australia) Compton
Download - Immediately Available
Format: eBook (PDF)
Ripple-Down Rules : The Alternative to Machine Learning
Paul (The University of New South Wales, Syndey, Australia) Compton
Download - Immediately Available
Format: eBook (EPUB)