An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition

Material type:

TextPublication details: Clarendon Press Ince D.C, 1992Edition: 2ndDescription: 286ISBN:

198538367

Summary: An introduction to both the theory and practice of formal specification. Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading.

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.133 INC (Browse shelf(Opens below))	2	Available	9780000011602

Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		Next
Previous	005.133 HOR Core Java 2 / Volume II - Advanced Features	005.133 HOR Big Java	005.133 HUM Structured Programming Using PL/1 and SP/k	005.133 INC An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition	005.133 JIA Object-Oriented Software Development Using Java / Principles,Patterns and Frameworks	005.133 JON Paradox 3 Made Easy	005.133 KIN A first course in computer programming using C /	Next

An introduction to both the theory and practice of formal specification. Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading.

There are no comments on this title.

to post a comment.

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

An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition

Browsing MC Athens Campus Library shelves Close shelf browser (Hides shelf browser)