The Locator -- [(subject = "Compilers Computer programs--Congresses")]
48
records matched your query
Record 6 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Author:
VSTTE 2005 (2005 : Zurich, Switzerland)
Title:
Verified software
[electronic resource] : theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions / [eds. Bertrand Meyer, Jim Woodcock].
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2008
Description:
1 online resource (xxiii, 546 p.) : ill.
Subject:
Computer software--Verification--Congresses.
Computer software--Quality control--Congresses.
Compilers (Computer programs)--Congresses.
Other Authors:
Meyer, Bertrand, 1950-
Woodcock, Jim.
Notes:
Description based on print. "State-of-the-art-survey"--Cover. Includes bibliographical references and index.
Series:
Lectures notes in computer science ; 4171
LNCS sublibrary: SL 2 - Programming and software engineering
ISBN:
3540691499
9783540691495
OCLC:
(OCoLC)272312457
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.