詳細情報

刊年

2008

G/SMD

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

形態

: v.: digital

シリーズ名

Lecture Notes in Computer Science ; 5000

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Grumberg, Orna

Veith, Helmut

SpringerLink (Online service)

件名

Mathematical Logic and Formal Languages

Logic design

Software Engineering

Programming Languages, Compilers, Interpreters

Logics and Meanings of Programs

Computer Science

Computer science

Software engineering

Programming Techniques

ISBN

9783540698500 (: electronic bk)

IDENT

http://dx.doi.org/10.1007/978-3-540-69850-0