The Locator -- [(author = "Fitzgerald John 1965-")]

5 records matched your query       

Record 2 | Previous Record | MARC Display | Next Record | Search Results
Author:
International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)
Title:
FM 2005 [electronic resource] : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
2005
Description:
1 online resource (xiv, 558 p.) : ill.
Subject:
Computer software--Development--Congresses.
Formal methods (Computer science)--Congresses.
System design--Congresses.
Other Authors:
Fitzgerald, John, 1965-
Hayes, Ian.
Tarlecki, Andrzej.
Notes:
Description based on print. "13th International Symposium of Formal Methods Europe"--Pref. Includes bibliographical references and index.
Series:
Lecture notes in computer science, 0302-9743 ; 3582
ISBN:
3540317147
9783540317142
OCLC:
(OCoLC)262681372
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

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.