Franklin

Proof in VDM : case studies / J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.].

Publication:
London ; New York : Springer-Verlag, c1998.
Format/Description:
Book
xiv, 226 p. : ill. ; 24 cm.
Series:
Formal approaches to computing and information technology
Status/Location:
Loading...

Get It

Details

Subjects:
Computer software -- Development -- Case studies.
Automatic theorem proving.
Notes:
Includes bibliographical references and index.
Contributor:
Bicarregui, J.C. (Juan Carlos), 1962-
Agerholm, Sten.
ISBN:
3540761861 (pbk. : alk. paper)
OCLC:
37443015