Cover Image

Proof in VDM : case studies /

Bibliographic Details
Other Authors: Bicarregui, Juan C. (Juan Carlos), 1962-, Agerholm, Sten
Format: Book
Language:English
Published: London ; New York : Springer-Verlag, [1998]
Series:Formal approaches to computing and information technology.
Subjects:
Computer software > Development > Case studies.
Automatic theorem proving.
Description
Physical Description:xiv, 226 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540761861 (pbk. : alk. paper)