
Case Studies in Systematic Software Development (Prentice-Hall International Series in Computer Science)
Out of Stock

Essays in Computing Science (Prentice-Hall International Series in Computer Science)
Out of Stock

Object Orientation with Parallelism and Persistence
$169.00 - $169.99

Systematic Software Development Using Vdm (Prentice Hall International Series in Computer Science)
Out of Stock

The Vienna Development Method: The Meta-Language
$36.18

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
$109.99

Formal Methods and Hybrid Real-Time Systems
$61.59

Mural: A Formal Development Support System
$61.01

Understanding Programming Languages
$79.99