ENGLISH

An Introduction to Discrete Mathematics and Formal System Specification

By D. Ince

Book information

Publisher
Oxford University Press
Year
1988
ISBN
0198596677, 9780198596677
Language
english
Format
DJVU
Filesize
2 MB (2369841 bytes)
Series
Oxford Applied Mathematics and Computing Science Series
Edition
1St Edition
Pages
368\363
Scanned
yes
Time added
2014-06-14 18:54:08

Description

This computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems.

Similar books