We a good story
Quick delivery in the UK

An Introduction to Discrete Mathematics, Formal System Specification, and Z

About An Introduction to Discrete Mathematics, Formal System Specification, and Z

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

Show more
  • Language:
  • English
  • ISBN:
  • 9780198538363
  • Binding:
  • Paperback
  • Pages:
  • 296
  • Published:
  • February 3, 1993
  • Edition:
  • 2
  • Dimensions:
  • 156x235x16 mm.
  • Weight:
  • 430 g.
Delivery: 1-2 weeks
Expected delivery: January 12, 2025

Description of An Introduction to Discrete Mathematics, Formal System Specification, and Z

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

User ratings of An Introduction to Discrete Mathematics, Formal System Specification, and Z



Find similar books
The book An Introduction to Discrete Mathematics, Formal System Specification, and Z can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.