The Locator -- [(subject = "Software engineering--Congresses")]

333 records matched your query       

Record 12 | Previous Record | MARC Display | Next Record | Search Results
Title:
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong, Huibiao Zhu (eds.)
Publisher:
Springer,
Copyright Date:
2010
Description:
xiv, 709 p. : ill. ; 24 cm.
Subject:
Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
Kongress
Notes:
International conference proceedings. Includes bibliographical references.
Series:
Lecture notes in computer science, 0302-9743 ; 6447.
ISBN:
3642169007 (pbk.)
9783642169007 (pbk.)
Locations:
UNUX074 -- University of Northern Iowa - Rod Library (Cedar Falls)

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.