The Locator -- [(author = "Lucas Peter 1955-")]

4 records matched your query       

Record 3 | Previous Record | MARC Display | Next Record | Search Results
Author:
International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria)
Title:
FME '97 : industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, eds.
Publisher:
Springer,
Copyright Date:
c1997
Description:
xiii, 684 p. : ill. ; 24 cm.
Subject:
System design--Congresses.--Congresses.
Other Authors:
Fitzgerald, John, 1965-
Jones, C. B. (Cliff B.), 1944-
Lucas, Peter, 1955-
Notes:
Includes bibliographical references and index.
Series:
Lecture notes in computer science, 0302-9743 ; 1313
ISBN:
9783540635338 (pbk. : alk. paper)
3540635335 (pbk. : alk. paper)
OCLC:
(OCoLC)37546757
LCCN:
97037056
Locations:
OVUX522 -- University of Iowa Libraries (Iowa City)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.