Cover Image

Automated theorem proving in software engineering /

Show other versions (1)
Bibliographic Details
Main Author: Schumann, Johann M., 1960-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Subjects:
Software engineering.
Automatic theorem proving.
Description
Physical Description:xiv, 228 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [203]-220) and index.
ISBN:3540679898 (alk. paper)