1.
Foundations of Programming Languages
by Loeckx, Jacques, Mehlhorn, ...
ISBN: 9780471921394
List Price: $140.00
2.
Foundations of Program Verification
by Loeckx, Jacques, Sieber, Kurt
ISBN: 9780471912828
List Price: $524.95
3.
Specification of Abstract Data Types
by Loeckx, Jacques, Ehrich, Ha...
ISBN: 9780471950677
List Price: $125.00
OUT OF STOCK
See Availability on Amazon4.
Foundations of Program Verification
by Loeckx, Jacques, Sieber, Kurt
ISBN: 9780471903239
List Price: $34.95