國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Automated theorem proving in softwar...

~

Schumann, Johann M

Automated theorem proving in software engineering

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	SchumannJohann M,
出版地:	Berlin
出版者:	Springer;
出版年:	c2001
面頁冊數:	xiv, 228 pill : 24 cm;
標題:	Software engineering -
標題:	Automatic theorem proving -
ISBN:	3540679898

Automated theorem proving in software engineering
Schumann, Johann M

Automated theorem proving in software engineering / Johann M. Schumann ; foreword by Donald Loveland - Berlin : Springer, c2001. - xiv, 228 p ; ill ; 24 cm.
Includes bibliographical references (p. [203]-220) and index.
ISBN 3540679898
Software engineeringAutomatic theorem proving

Automated theorem proving in software engineering
LDR:00565cam 2200169 2 450 001 452579
005 20101024062947.0
010 1 $a 3540679898 $b (hard) $d NT
100 $a 20080130
101 0 $a eng
200 1 $a Automated theorem proving in software engineering $f Johann M. Schumann ; foreword by Donald Loveland
210 $a Berlin $c Springer $d c2001
215 1 $a xiv, 228 p $c ill $d 24 cm
320 $a Includes bibliographical references (p. [203]-220) and index
606 $a Software engineering $3 394959 $2 lc $3 723898
606 $a Automatic theorem proving $3 414208 $2 lc $3 724079
676 $a 005.1 $b S392
676 $a 005.1 $v 21
680 $a QA76.758 $b S38 2001
700 $a Schumann $b Johann M $3 435713
801 0 $a cw $b 國立國立虎尾科技大學圖書館 $c 20020514 $g CCR

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E022119

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.1 S392 2001

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入