Constructive theory for programs and their correctness : contributions to Hoare's ideal

価格(Price ¥) ： 1,333円

ISBN 9784883619214

Series シリーズ
of program correctness and Scott's thesis on

Author 著者
Ito Takayasu

Publisher 出版社
Sankeisha

Pub. place 出版地
Nagoya

Pub. date 出版日 2011.11

Status 状態

Ref No. JPTE1202-0010

NDC :

Categoryカテゴリー