HOL '91

Name: HOL '91 | International Workshop on the HOL Theorem Proving System and Its Applications
Price: 104.09 EUR
Availability: OutOfStock
Author: Institute of Electrical and Electronics Engineers
ISBN: 978-0-8186-2460-5

International Workshop on the HOL Theorem Proving System and Its Applications

Institute of Electrical and Electronics Engineers(Autor*in)

IEEE Computer Society Press,U.S.

Erschienen im Januar 1993

Buch

Softcover

432 Seiten

978-0-8186-2460-5 (ISBN)

104,09 €inkl. 7% MwSt.

Artikel ist vergriffen; keine Neuauflage

Weitere Details

Als PDF speichern Als Link merken