大葉大學圖書館 |

言語: 日文

ログイン

ホームページ

スイッチ: ラベル | MARC形式 | 国際標準書誌記述(ISBD)

Elementary logic[electronic resource...

~

Lover, Robert.

Elementary logic[electronic resource] :for software development /

レコード種別:	言語・文字資料 (印刷物) : 単行資料
[NT 15000414] null:	005.101
タイトル / 著者:	Elementary logic : for software development // by Robert Lover.
著者:	Lover, Robert.
出版された:	London : : Springer London,, 2008.
記述:	xiv, 313 p. : : ill., digital ;; 24 cm.
含まれています:	Springer eBooks
主題:	Computer software - Development
主題:	Reasoning.
主題:	Computer Science.
主題:	Logics and Meanings of Programs.
国際標準図書番号 (ISBN) :	9781848000827 (electronic bk.)
国際標準図書番号 (ISBN) :	9781848000810 (paper)
電子資源:	http://dx.doi.org/10.1007/978-1-84800-082-7

Elementary logic[electronic resource] :for software development /
Lover, Robert.

Elementary logicfor software development /[electronic resource] :by Robert Lover. - London :Springer London,2008. - xiv, 313 p. :ill., digital ;24 cm.

ISBN: 9781848000827 (electronic bk.)Subjects--Topical Terms:

510670
Computer software
--Development

LC Class. No.: QA76.76.D47 / L68 2008

Dewey Class. No.: 005.101

Elementary logic[electronic resource] :for software development /
LDR:00787nam a2200253 a 4500 001 380727
003 DE-He213
005 20130122163748.0
006 m d
007 cr nn 008maaau
008 130702s2008 enk s 0 eng d
020 $a 9781848000827 (electronic bk.)
020 $a 9781848000810 (paper)
035 $a 978-1-84800-082-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.D47 $b L68 2008
082 0 4 $a 005.101 $2 22
090 $a QA76.76.D47 $b L911 2008
100 1 $a Lover, Robert. $3 510669
245 1 0 $a Elementary logic $h [electronic resource] : $b for software development / $c by Robert Lover.
260 $a London : $b Springer London, $c 2008.
300 $a xiv, 313 p. : $b ill., digital ; $c 24 cm.
650 0 $a Computer software $x Development $x Methodology. $3 510670
650 0 $a Reasoning. $3 181251
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Logics and Meanings of Programs. $3 466905
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-1-84800-082-7
950 $a Computer Science (Springer-11645)

～に基づいて 0 論評

マルチメディア (複合媒体資料)

マルチメディアファイル
http://dx.doi.org/10.1007/978-1-84800-082-7

論評

論評を追加あなたの考えを共有してください。

Export

受取館

パスワードを変更する

ログイン