FREE SHIPPING on Orders of $40 or More!

1 - 5 of 5 results for "Monographs

Grid View Grid
List View List
Grid View Grid
List View List
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Hardcover $111.20 $199.00 Current price is $111.20, Original price is $199.00.
Title: Reverse Engineering of Object Oriented Code / Edition 1, Author: Paolo Tonella
QUICK ADD
Reverse Engineering of Object…
by Paolo Tonella, Alessandra Potrich
Explore Series
Hardcover $135.48 $169.00 Current price is $135.48, Original price is $169.00.
Title: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement / Edition 1, Author: Manfred Broy
QUICK ADD
Specification and Development…
by Manfred Broy, Ketil Stolen, Ketil St Len
Explore Series
Hardcover $79.20 $99.00 Current price is $79.20, Original price is $99.00.
Title: A Theory of Objects / Edition 1, Author: Martin Abadi
QUICK ADD
A Theory of Objects / Edition…
by Martin Abadi, Luca Cardelli
Explore Series
Hardcover $159.49 $199.00 Current price is $159.49, Original price is $199.00.
Title: Derivation and Validation of Software Metrics, Author: D. Ince
QUICK ADD
Derivation and Validation of…
by D. Ince, Darrel Ince, Martin Shepperd
#9 in Series
Hardcover $56.92