Research Catalog

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings

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.).
Publication: Berlin ; New York : Springer-Verlag, c1990.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 90-1374	Offsite

Details

Additional Authors

Description

xvii, 579 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 428

Alternative Title

VDM and Z.

Subject

Computer software > Development > Congresses

Note

Includes index.

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 90-1374

ISBN

0387525130 (U.S.)

LCCN

90034468

OCLC

21332657
21332657

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.).

Imprint

Berlin ; New York : Springer-Verlag, c1990.

Series

Lecture notes in computer science ; 428

Bibliography

Includes bibliographical references.

Added Author

Bjørner, D. (Dines), 1937-

Hoare, C. A. R. (Charles Antony Richard), 1934-

Langmaack, Hans.

Added Title

VDM and Z.

Research Call Number

JSE 90-1374

View in Legacy Catalog