Proof Profiles - Characteristic Clause Sets and Proof Transformations by Stefan Hetzl - Paperback

Proof Profiles - Characteristic Clause Sets and Proof Transformations by Stefan Hetzl - Paperback

AED0.00
(0) Write a Review
SKU:
9783836470070
UPC:
9783836470070

Product Description

ISBN: 9783836470070
TITLE: Proof Profiles - Characteristic Clause Sets and Proof Transformations
AUTHOR: Stefan Hetzl
PUBLISHER: VDM Verlag Dr. Mueller E.K.
PUBLISHER DATE: 16 Jul 2008

Other Details

ISBN:
9783836470070
Author:
Stefan Hetzl
Publisher:
VDM Verlag Dr. Mueller E.K.
Publisher Date:
Published:16 Jul 2008
Book Format:
Paperback

Related Products

Popular Trending Products