Research Catalog

FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, proceedings

Title: FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
Author: International Symposium of Formal Methods Europe (1st : 1993 : Odense, Denmark)
Publication: Berlin ; New York : Springer-Verlag, c1993.

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 93-1031	Offsite

Details

Additional Authors

Description

xi, 689 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 670

Alternative Title

Formal Methods Europe 1993.

Subject

Computer software > Development > Congresses

Call Number

JSE 93-1031

ISBN

0387566627 (New York)(alk. paper)
3540566627 (Berlin)

LCCN

93003605

OCLC

27815065
NYPG93-B53647

Conference

International Symposium of Formal Methods Europe (1st : 1993 : Odense, Denmark)

Title

FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).

Imprint

Berlin ; New York : Springer-Verlag, c1993.

Series

Lecture notes in computer science ; 670

Added Author

Woodcock, Jim.

Larsen, P. G. (Peter Gorm), 1964-

Added Title

Formal Methods Europe 1993.

Research Call Number

JSE 93-1031

View in Legacy Catalog