Liknande böcker

Tools and Algorithms for the Construction and Analysis of Systems : 14th...
Bok av C. R. Ramakrishnan
The Art of Software Architecture
Bok av Stephen T. Albin
Building Tightly Integrated Software Development Environments: The IPSEN...
Bok av Manfred Nagl
Programming Languages and Systems
Bok
VDM '90. VDM and Z - Formal Methods in Software Development : Third Inte...
Bok av Dines Bjorner
Verified Software. Theories, Tools, and Experiments
Bok
Computer Algorithms for Solving Linear Algebraic Equations
Bok av Emilio Spedicato
Quality Procedures for Hardware and Software : A Cost Effective Guide to...
Bok av David J. Smith

Act

Bok av Hartmut Ehrig