Mediterranean College

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

Image from OpenLibrary

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.
Star ratings
    Average rating: 0.0 (0 votes)

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.

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300