Mighty Ape
Paperback
The Interpretation of Object-Oriented Programming Languages
Iain Craig

 

 

In stock
Hardback
Hardware Verification with System Verilog
Mike Mintz, Robert Ekendahl

 

 

In stock
Paperback
Model Checking Software

 

 

In stock
Paperback
Compiler Construction

 

 

In stock
Paperback
Compiler Construction

 

 

In stock
Paperback
Programming Languages and Systems

 

 

In stock
Paperback
Languages and Compilers for Parallel Computing

 

 

In stock
Hardback
Interaction Between Compilers and Computer Architectures

 

 

In stock
Hardback
Retargetable Compiler Technology for Embedded Systems
Rainer Leupers, Peter Marwedel

 

 

In stock
Paperback
Linkers and Loaders
John Levine

 

 

In stock
Paperback
Types for Proofs and Programs

 

 

In stock
Paperback
Functional and Logic Programming

 

 

In stock
Paperback
Implementation and Applications of Automata

 

 

In stock
Paperback
25 Years of Model Checking

 

 

In stock
Paperback
Models in Software Engineering
Holger Giese

 

 

In stock
Paperback
Conceptual Structures: Knowledge Visualization and Reasoning

 

 

In stock
Paperback
Theorem Proving in Higher Order Logics

 

 

In stock
Paperback
Rewriting Techniques and Applications

 

 

In stock
Paperback
Algebraic Methodology and Software Technology

 

 

In stock
Paperback
Mathematics of Program Construction

 

 

In stock
Paperback
Model Checking Software

 

 

In stock
Paperback
Languages and Compilers for Parallel Computing

 

 

In stock
Paperback
Advances in Case-Based Reasoning

 

 

In stock
Paperback
Modeling Decisions for Artificial Intelligence

 

 

In stock
Paperback
Scalable Uncertainty Management

 

 

In stock
Paperback
Automated Technology for Verification and Analysis

 

 

In stock
Paperback
Rough Sets and Current Trends in Computing

 

 

In stock
Paperback
Logics in Artificial Intelligence

 

 

In stock
Paperback
MICAI 2008: Advances in Artificial Intelligence

 

 

In stock
Paperback
Advances in Artificial Intelligence - SBIA 2008

 

 

In stock
Paperback
Abstract State Machines, B and Z

 

 

In stock
Paperback
Verified Software: Theories, Tools, Experiments

 

 

In stock
Paperback
Conceptual Modeling - ER 2008

 

 

In stock
Paperback
Languages and Compilers for Parallel Computing

 

 

In stock
Paperback
Advances in Software Engineering

 

 

In stock
Paperback
Software and Data Technologies

 

 

In stock