Practical Formal Methods with VDM

Contributor(s):

Material type:

TextPublication details: Mcgraw Hill Book Company, 1991Description: 464ISBN:

77072146

Summary: This book is intended for courses in formal methods of software development taught at the undergraduate or postgraduate level in departments of Computer Science. Preface, Formal Methods - An Introduction, Logic, A Language for Specification, Sets, Maps, Sequences, Abstract Syntax, Data Invariants, Specifying Systems, Large Systems, From Specifications to Code, Program Development, A Simple Text Editor, The Development of the Editor, The Buffer Abstract Machine, The User Interface, Postscript, Bibliography, Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.1 AND (Browse shelf(Opens below))	1	Available	9780000011336

This book is intended for courses in formal methods of software development taught at the undergraduate or postgraduate level in departments of Computer Science. Preface, Formal Methods - An Introduction, Logic, A Language for Specification, Sets, Maps, Sequences, Abstract Syntax, Data Invariants, Specifying Systems, Large Systems, From Specifications to Code, Program Development, A Simple Text Editor, The Development of the Editor, The Buffer Abstract Machine, The User Interface, Postscript, Bibliography, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

Practical Formal Methods with VDM