Books by Kiel Computer Science Series
Live Trace Visualization for System and Program Comprehension in Large Software Landscapes
-20% with code BOOKS
In stock at our supplier
Formal Verification of Concurrent Embedded Software
Johannes Frederik Jesper Traub
-20% with code BOOKS
In stock at our supplier
Normalization and Partial Evaluation of Functional Logic Programs
-20% with code BOOKS
In stock at our supplier
SCCharts - Language and Interactive Incremental Compilation
-20% with code BOOKS
In stock at our supplier