高雄醫學大學圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

FME '97:industrial applications and ...

~

Jones, Cliff B.

FME '97:industrial applications and strengthened foundations of formal/

Record Type:	Language materials, printed : Monograph/item
Title/Author:	FME '97:/ John Fitzgerald, Cliff B. Jones, Peter Lucas, editors
Reminder of title:	industrial applications and strengthened foundations of formal/
other author:	Fitzgerald, John
Published:	Berlin :Springer, : c1997,
Description:	xiii,684p.;24cm.;
Notes:	4th International Symposium of Formal Methods Europe Graz, Austria, September 1997 Proceedings
ISBN:	3-540-63533-5(pbk.):

FME '97:industrial applications and strengthened foundations of formal/
FME '97:industrial applications and strengthened foundations of formal/John Fitzgerald, Cliff B. Jones, Peter Lucas, editors - Berlin :Springer,c1997 - xiii,684p.;24cm.

4th International Symposium of Formal Methods Europe Graz, Austria, September 1997 Proceedings

Includes bibliographical references and index

ISBN: 3-540-63533-5(pbk.):buy:

FME '97:industrial applications and strengthened foundations of formal/
LDR:00705nam0 2200169 i 450 001 174376
008 091215b c 000 0 eng
008 091215325d1997 rbi 0 0 eng
020 $a 3-540-63533-5(pbk.): $c buy: $c NT:2890
035 $a 0154751
040 $a cw $b 高雄醫學院
041 0 # $a eng
245 1 0 $a FME '97: $b industrial applications and strengthened foundations of formal/ $c John Fitzgerald, Cliff B. Jones, Peter Lucas, editors
260 # $a Berlin : $c c1997 $b Springer,
300 $a xiii,684p.; $c 24cm.
500 $a 4th International Symposium of Formal Methods Europe Graz, Austria, September 1997 Proceedings
504 $a Includes bibliographical references and index
700 0 # $2 97000 $a Fitzgerald, John $3 213151
700 0 # $2 97000 $a Lucas, Peter $3 213150
700 0 # $2 97000 $a Jones, Cliff B. $3 213149
900 $c 到館:1998/03/25 $d 編目:1998/03/25

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

40122679

後棟3F下架區(閉架圖書,請填尋書單調閱) Closed Stacks (Rear Building)

一般圖書

一般圖書 (Book)

440.16 F648

一般使用(Normal)

Discard

0

SDG9

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login