明道大學圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Formal specification and software de...

~

Bjorner, D. (1937-)

Formal specification and software development /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal specification and software development // Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
Author:	Bjorner, D.
other author:	Jones, C. B.
Published:	Englewood Cliffs, N.J. :Prentice/Hall International, : c1982.,
Description:	x, 501 p. :ill. ; : 25 cm.;
Notes:	Includes index.
Series:	Prentice-Hall International series in computer science
Subject:	Computer software - Development. -
ISBN:	0133290034

Formal specification and software development /
Bjorner, D.1937-

Formal specification and software development /Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.]. - Englewood Cliffs, N.J. :Prentice/Hall International,c1982. - x, 501 p. :ill. ;25 cm. - Prentice-Hall International series in computer science.

Includes index.

Bibliography: p. 461-487.

ISBN: 0133290034

LCCN: 82007656 //r872Subjects--Topical Terms:

482213
Computer software
--Development.

LC Class. No.: QA76.6 / .B575 1982

Dewey Class. No.: 001.64/2

Formal specification and software development /
LDR:00635cam 2200181 a 4500 001 391023
005 20130114150725
008 050629s1982 njua b 00110 eng
010 $a 82007656 //r872
020 $a 0133290034
035 $a 5817
050 0 $a QA76.6 $b .B575 1982
082 0 $a 001.64/2
100 1 0 $a Bjorner, D. $q (Dines), $d 1937- $3 497915
245 1 0 $a Formal specification and software development / $c Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
260 0 $a Englewood Cliffs, N.J. : $b Prentice/Hall International, $c c1982.
300 $a x, 501 p. : $b ill. ; $c 25 cm.
440 0 $a Prentice-Hall International series in computer science
500 $a Includes index.
504 $a Bibliography: p. 461-487.
650 0 $a Computer software $x Development. $3 482213
650 0 $a Programming languages (Electronic computers) $3 497805
700 1 0 $a Jones, C. B. $q (Cliff B.), $d 1944- $3 497916

based on 0 review(s)

Items

1 records • Pages 1 •
1

Search Note

Inventory Number

No. of reservations

E004247

圖書館書庫區

L可借閱

英文圖書

BE QA76.6 B626 1982

一般(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Back

Login