The Locator -- [(subject = "Computer software--Specifications")]
12
records matched your query
Record 6 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Title:
Software specification methods :
an overview using a case study / Marc Frappier and Henri Habrias (eds.).
Publisher:
Springer,
Copyright Date:
c2001
Description:
xxiii, 282 p. : ill. ; 24 cm.
Subject:
Formal methods (Computer science)
Computer software--Specifications.
Other Authors:
Frappier, Marc, 1965-
Habrias, Henri.
Notes:
Includes bibliographical references and index.
Series:
Formal approaches to computing and information technology, 1431-9683
ISBN:
9781852333539 (pbk : alk. paper)
1852333537 (pbk : alk. paper)
OCLC:
(OCoLC)44732273
(OCoLC)46626475
LCCN:
00061256
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.