Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Edition: 1st English Language Ed edition
Publisher: Chapman & Hall
Published: February 1993
Language: eng
Format: Hardcover
Number of pages: 404
ISBN-13: 9780412486807
Subjects: Databases & data structures; High level programming languages; Industry & Industrial Studies; Programming Language Semantics; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Programming languages (Electro; Programming languages (Electronic computers); Semantics; Software engineering; Computer Books: Languages