-
-
Interactive Theorem Proving and Program Development : Coq'Art
The Calculus of Inductive Constructions
Texts in Theoretical Computer Science, An EATCS Series
-
Bertot, Yves
Casteran, P.
-
出版社：Springer
出版年月：2004年 00月
装丁：HRD
-
税込価格：
26,082円
海外在庫あり
通常２～５週間で出荷
-
-
From Semantics to Computer Science
Essays in Honour of Gilles Kahn
-
Bertot, Yves (EDT)
Huet, Gérard (EDT)
Lévy, Jean-Jacques (EDT)
-
出版社：Cambridge University Press
出版年月：2009年 09月
装丁：HRD
言語：ENG
-
税込価格：
33,455円
海外在庫あり
通常２～５週間で出荷
-
-
Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Texts in Theoretical Computer Science. An EATCS Series
-
Bertot, Yves
Casteran, Pierre
Huet, G. (FRW)
-
出版社：Springer
出版年月：2010年 12月
装丁：PAP
言語：ENG
-
税込価格：
18,968円
海外在庫あり
通常２～５週間で出荷
