Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Applied mathematics

Buy Now

An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition) Loot Price: R1,564
Discovery Miles 15 640
Repayment Terms: R147 pm x 12*
You Save: R160 (9%)
Add to cart
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition): D.C. Ince

An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition)

D.C. Ince

Series: Oxford Applied Mathematics and Computing Science Series

 (sign in to rate)
List price R1,724 Loot Price R1,564 Discovery Miles 15 640 | Repayment Terms: R147 pm x 12* You Save R160 (9%)

Bookmark and Share

Expected to ship within 12 - 17 working days

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. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are needed. Throughout the book are numerous worked examples and exercises which include many real examples of software and computer systems.

General

Imprint: Clarendon Press
Country of origin: United Kingdom
Series: Oxford Applied Mathematics and Computing Science Series
Release date: February 1993
First published: February 1993
Authors: D.C. Ince (Professor, Department of Computing)
Dimensions: 235 x 155 x 16mm (L x W x T)
Format: Paperback
Pages: 296
Edition: 2nd Revised edition
ISBN-13: 978-0-19-853836-3
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Applied mathematics > General
Promotions
LSN: 0-19-853836-7
Barcode: 9780198538363

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Applied Combinatorics (Hardcover, 6th Edition): Alan Tucker
Applied Combinatorics
Alan Tucker Hardcover R5,304 Discovery Miles 53 040
Basic mathematics for economics students - Theory and applications (Paperback, 2nd ed): Derek Yu
Basic mathematics for economics students…
Derek Yu Paperback R345 R319 Discovery Miles 3 190
A First Course in the Finite Element Method, SI Edition (Paperback, 6th edition): Daryl Logan
A First Course in the Finite Element…
Daryl Logan Paperback R1,353 R1,214 Discovery Miles 12 140
Mathematical Statistics with Applications (Paperback, 7th International Edition): William Mendenhall, Dennis Wackerly, Richard...
Mathematical Statistics with…
William Mendenhall, Dennis Wackerly, … Paperback R1,373 R1,230 Discovery Miles 12 300
Statistical Universals of Language - Mathematical Chance vs. Human Choice (Hardcover, 1st ed. 2021): Kumiko Tanaka-Ishii
Statistical Universals of Language…
Kumiko Tanaka-Ishii Hardcover R2,792 Discovery Miles 27 920
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Stochastic Analysis of Mixed Fractional Gaussian Processes (Hardcover): Yuliya Mishura, Mounir Zili
Stochastic Analysis of Mixed Fractional…
Yuliya Mishura, Mounir Zili Hardcover R2,852 R2,659 Discovery Miles 26 590
Quantifying and Managing Soil Functions in Earth's Critical Zone, Volume 142 - Combining Experimentation and Mathematical...
Quantifying and Managing Soil Functions…
Donald L. Sparks Hardcover R4,376 Discovery Miles 43 760
Mathematics For Engineering Students (Paperback): Ramoshweu Solomon Lebelo, Radley Kebarapetse Mahlobo
Mathematics For Engineering Students
Ramoshweu Solomon Lebelo, Radley Kebarapetse Mahlobo Paperback R389 R329 Discovery Miles 3 290
New Trends in the Physics and Mechanics of Biological Systems - Lecture Notes of the Les Houches Summer School: Volume 92, July...
New Trends in the Physics and Mechanics…
Martine Ben Amar, Alain Goriely, … Hardcover R2,589 Discovery Miles 25 890
Mathematical Modelling - Education, Engineering and Economics ICTMA 12 (Paperback, New): C Haines, P. Galbraith, W. Blum, S....
Mathematical Modelling - Education…
C Haines, P. Galbraith, … Paperback R2,510 R2,350 Discovery Miles 23 500
Modelling and Control in Biomedical Systems 2006 (Paperback): David Dagan Feng, Janan Zaytoon
Modelling and Control in Biomedical…
David Dagan Feng, Janan Zaytoon Paperback R2,477 R2,324 Discovery Miles 23 240

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners