Welcome to Mirza Book Agency Official Website

0

ISABELLE/HOL A PROOF ASSISTANT FOR HIGHER- ORDER LOGIC

ISBN: 9783540433767
Author: NIPKOW
Format: PB
Edition: 1ST
Publication Year: 2002
Publisher: SPRINGER
Category COMPUTER SCIENCE
Availability: In stock
₨ 11,087

Related Books:

Information

My Account