Jump to main content

図書

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). (Lecture notes in computer science)

Icons representing 図書

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).

(Lecture notes in computer science)

Call No. (NDL)
M15-A6895
Bibliographic ID of National Diet Library
000003187017
Material type
図書
Author
Bjørner, D. (Dines) , 1937-ほか
Publisher
Springer-Verlag
Publication date
c1990.
Material Format
Paper
Capacity, size, etc.
xvii, 579 p. : ill. ; 25 cm.
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0387525130 (U.S.)
Title
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
Series Title
Lecture notes in computer science
Author Heading
Bjørner, D. (Dines) , 1937-
Hoare, Charles Antony Richard, 1934- ( 00443453 )Authorities
Langmaack, Hans.
VDM-Europe.
Publication, Distribution, etc.
Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date
c1990.
Publication Date (W3CDTF)
1990
Extent
xvii, 579 p. : ill. ; 25 cm.
Alternative Title
VDM ninety.