Liknande böcker

Introduction to algorithms
Bok av Thomas H Cormen
Matlab
Bok av Stormy Attaway
Isomorphisms of Types : From ?
Bok av Roberto DiCosmo
Domain-specific Program Generation: International Seminar, Dagstuhl Cast...
Bok av Christian Lengauer
Using Formal Methods in a Retrospective Safety Case
Bok av Lars-Henrik Eriksson
COTS-Based Software Systems
Bok av Rick Kazman
Software Reuse: Methods, Techniques, and Tools : 8th International Confe...
Bok av Jan Bosch
Extreme Programming and Agile Processes in Software Engineering : 5th In...
Bok av Jutta Eckstein

Program construction [electronic resource] : calculating implementations from specifications / Roland Backhouse : calculating implementations from specifications

Bok av Roland C. Backhouse