國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Z :an introduction to formal methods /

~

Diller, Antoni.

Z :an introduction to formal methods /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Z :Antoni Diller.
Reminder of title:	an introduction to formal methods /
Author:	Diller, Antoni.
Published:	Chichester, West Sussex, England :Wiley & Sons,c1994.
Description:	xix, 374 p. :ill. ;25 cm.
Subject:	Z (Computer program language)
ISBN:	0471939730 (pbk.) :

Z :an introduction to formal methods /
Diller, Antoni.

Z :an introduction to formal methods /Antoni Diller. - 2nd ed. - Chichester, West Sussex, England :Wiley & Sons,c1994. - xix, 374 p. :ill. ;25 cm.

Includes bibliographical references (p. 357-362) and index.

ISBN: 0471939730 (pbk.) :NT$2985

LCCN: 94004943 Subjects--Topical Terms:

249289
Z (Computer program language)

LC Class. No.: QA76.73.Z2 / D55 1994

Dewey Class. No.: 005.1/2

Z :an introduction to formal methods /
LDR:00600pam 2200193 a 450 001 173072
005 20070524093848.0
008 090528s1994 enka b 001 0 eng
010 $a 94004943
020 $a 0471939730 (pbk.) : $c NT$2985
035 $a 00266114
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA76.73.Z2 $b D55 1994
082 0 0 $2 20 $a 005.1/2
100 $a Diller, Antoni. $3 249288
245 1 0 $a Z : $b an introduction to formal methods / $c Antoni Diller.
250 $a 2nd ed.
260 $a Chichester, West Sussex, England : $c c1994. $b Wiley & Sons,
300 $a xix, 374 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references (p. 357-362) and index.
650 $a Z (Computer program language) $3 249289

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000158693

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.73.Z2 D578 1994

一般使用(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