|
1.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
2.
|
|
International Summer School
-
ISBN:
-
978-3-642-76799-9
-
Book Format:
- Ebook
-
List Price:
- USD $149.00
-
Publisher:
- Springer
-
Publication Date:
- Dec 2012
|
|
|
3.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
4.
|
|
International Summer School
-
ISBN:
-
978-3-642-76801-9
-
Book Format:
- Paperback
-
List Price:
- USD $109.99
-
Publisher:
- Springer Berlin / Heidelberg
-
Publication Date:
- Jan 2012
|
|
|
5.
|
|
An Advanced Course
|
|
|
6.
|
|
International Summer School
-
ISBN:
-
978-3-642-76801-9
-
Book Format:
- Paperback
-
List Price:
- AUD $283.95
-
Publisher:
- Springer London, Limited
-
Publication Date:
- Jan 2012
|
|
|
7.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
8.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
9.
|
|
An Advanced Course
|
|
|
10.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
11.
|
|
An Advanced Course
|
|