Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
era
format Book
genre
geographic
id f9bc6f7f-eef7-42a2-8148-8991b89a8577
isbn 1852333537
issn
language eng
physical xxiii, 282 pages :illustrations ;24 cm.
publication – publisher: Springer
  dateOfPublication: 2001
publishDate 2001
subjects
title Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (eds.).
topic Formal methods (Computer science)
Computer software