Research Catalog

FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Title: FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).
Author: World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Publication: Berlin ; New York : Springer, c1999.

Items in the Library & Off-site

Filter by

2 Items

Item details
Status	Vol/Date	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?	v. 2	Text	Request in advance	JSE 99-2018 v. 2	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1	Text	Request in advance	JSE 99-2018 v. 1	Offsite

Details

Additional Authors

Description

2 v. (xviii, 1875 p.) : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 1708-1709

Alternative Title

Formal methods

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 99-2018

ISBN

3540665870 (v. 1 : softcover : alk. paper)
3540665889 (v. 2 : softcover : alk. paper)

LCCN

99049628

OCLC

42619613

Conference

World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)

Title

FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).

Imprint

Berlin ; New York : Springer, c1999.

Series

Lecture notes in computer science, 0302-9743 ; 1708-1709

Bibliography

Includes bibliographical references and index.

Added Author

Wing, Jeannette Marie.

Woodcock, Jim.

Davies, Jim, 1964-

Research Call Number

JSE 99-2018

View in Legacy Catalog