Search result
A Survey of Verification Techniques for Parallel Programs
English
01.01.2007
Paperback / Softback
Fr. 33.90
An Optimized Translation Process and Its Application to ALGOL 68
English
01.01.2007
Paperback / Softback
Fr. 43.50
The Concurrency Control Problem for Database Systems
English
01.01.1981
Paperback / Softback
Fr. 69.00
Algebraic Specification Techniques in Object Oriented Programming Environments
English
01.01.1991
Paperback / Softback
Fr. 69.00
A Resolution Principle for a Logic with Restricted Quantifiers
English
01.01.1991
Paperback / Softback
Fr. 69.00
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
English
01.01.1989
Paperback / Softback
Fr. 69.00