Constructive logics for program correctnessand verification : dedicated to John McCarth

価格(Price ¥) ： 1,800円

ISBN 9784883618583

Series シリーズ
y and Rod Burstall (revised edition)

Author 著者
Ito Takayasu

Publisher 出版社
Sankeisha

Pub. place 出版地
Nagoya

Pub. date 出版日 2011.04

Status 状態

Ref No. JPTE1107-0007

NDC :

Categoryカテゴリー