Tool support for system specification, development and verification

Tool support for system specification, development and verification

Saved in:
Bibliographic Details
Corporate Author: International Workshop on Tool Support for System Specification, Development and Verificaion
Other Authors: Berghammer, R. (Rudolph) 1952- (Editor), Lakhnech, Y. (Yassine) (Editor)
Format: Book
Language:English
Published: Wien : Springer, c1999
Series:Advances in computing science,
Subjects:
Computer software > Development > Congresses.
Computer software > Validation > Congresses.
Computer software > Verification > Congresses.
Computer-aided software engineering.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:"This volume contains the proceedings of the International Workshop Tool Support for System Specification, Development and Verification organized June 1-4, 1998, in Malente, Germany.
Physical Description:viii, 231 p.; ill.; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:3-211-83282-3
ISSN:1433-0113

Similar Items