詳細情報

刊年

2009

G/SMD

機械可読データファイル -- リモートファイル (wr)

形態

: v.: digital

シリーズ名

Lecture Notes in Computer Science ; 5732

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Gent, Ian P.

SpringerLink (Online service)

件名

Logic design

Mathematical Logic and Formal Languages

Logics and Meanings of Programs

Computational Science and Engineering

Programming Languages, Compilers, Interpreters

Software Engineering

Computer Science

Software engineering

Computer science

Programming Techniques

ISBN

9783642042447 (: electronic bk)

IDENT

http://dx.doi.org/10.1007/978-3-642-04244-7