Abstract State Machines: A Method for High-level System Design and Analysis
$54.99 - $60.35
Java and the Java Virtual Machine: Definition, Verification, Validation
$12.19 - $60.35
Subject-Oriented Business Process Management
$59.95
Computation Theory and Logic
$60.03
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science)
$60.03
The Classical Decision Problem
$199.99
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
$60.03
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings (Lecture Notes in Computer Science)
$60.03
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers (Lecture Notes in Computer Science)
$60.03
Berechenbarkeit, Komplexitat, Logik
Out of Stock
Modeling Companion for Software Practitioners
$69.99
Berechenbarkeit Komplexitat Logik: Algorithmen, Sprachen Und Kalkule Unter Besonderer Berucksichtigung Ihrer Komplexitat
Out of Stock
Structures of Computing: A Guide to Practice-Oriented Theory
$59.78
