國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Automated theorem proving in softwar...

~

Schumann, Johann M

Automated theorem proving in software engineering

Record Type:	Language materials, printed : monographic
Author:	SchumannJohann M,
Place of Publication:	Berlin
Published:	Springer;
Year of Publication:	c2001
Description:	xiv, 228 pill : 24 cm;
Subject:	Software engineering -
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E022119

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.1 S392 2001

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login