The Locator -- [(title = "World Trade Center")]

158 records matched your query       

Record 29 | Previous Record | MARC Display | Next Record | Search Results
Author:
International SPIN Workshop (16th : 2009 : Grenoble, France)
Title:
Model checking software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2009
Description:
1 online resource (x, 295 p.) : ill.
Subject:
SPIN (Computer file)--Congresses.
Computer software--Verification--Congresses.
Other Authors:
Păsăreanu, Corina S.
Notes:
Description based on print. This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref. Includes bibliographical references and index.
Series:
Lecture notes in computer science, 0302-9743 ; 5578
LNCS sublibrary. SL 1 Theoretical computer science and general issues
ISBN:
3642026524
9783642026522
OCLC:
(OCoLC)432713244
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.