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 ...
Read More
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.
Read Less
Add this copy of An Introduction to Discrete Mathematics and Formal to cart. $25.40, fair condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1990 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 550grams, ISBN: 9780198596646.
Add this copy of An Introduction to Discrete Mathematics and Formal to cart. $19.27, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1988 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 550grams, ISBN: 9780198596646.
Add this copy of An Introduction to Discrete Mathematics and Formal to cart. $36.74, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1988 by Clarendon Press.
Add this copy of An Introduction to Discrete Mathematics and Formal to cart. $63.49, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1988 by Oxford University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of An Introduction to Discrete Mathematics and Formal to cart. $112.53, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1988 by Oxford University Press.
