1 - 4 of 4 results for "Jacques Loeckx"

Title: The Foundations of Program Verification / Edition 2, Author: Jacques Loeckx
Hardcover $458.40 $542.75 Current price is $458.40, Original price is $542.75.
Title: Foundations of Programming Languages, Author: Jacques Loeckx
Paperback $118.28 $140.00 Current price is $118.28, Original price is $140.00.
Title: Specification of Abstract Data Types, Author: Jacques Loeckx
Hardcover $115.00 $125.00 Current price is $115.00, Original price is $125.00.
Title: The Foundations of Program Verification, Author: Jacques Loeckx
Hardcover $22.86 $34.95 Current price is $22.86, Original price is $34.95.