An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)

4 avg rating
( 2 ratings by Goodreads )
 
9780198538363: An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)

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.

"synopsis" may belong to another edition of this title.

From the Back Cover:

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 again been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are exercises which include many real examples of software and computer systems.

About the Author:

D. C. Ince is at The Open University.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Ince, D. C.
Published by Clarendon Press
ISBN 10: 0198538367 ISBN 13: 9780198538363
New PAPERBACK Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Clarendon Press. PAPERBACK. Book Condition: New. 0198538367 New Condition. Bookseller Inventory # NEW7.0980624

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 59.99
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Ince, Darrel C.
Published by OUP Oxford 1993-02 (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Quantity Available: 5
Print on Demand
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description OUP Oxford 1993-02, 1993. Book Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bookseller Inventory # NU-LSI-06895212

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.34
Convert Currency

Add to Basket

Shipping: US$ 3.95
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

D. C. Ince
Published by Oxford University Press, United Kingdom (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Oxford University Press, United Kingdom, 1993. Paperback. Book Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****. 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. Bookseller Inventory # AAV9780198538363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.62
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Ince, D. C.
Published by Clarendon Press (2017)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: 2
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 2017. Paperback. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # P110198538367

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.45
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

5.

D. C. Ince
Published by Oxford University Press, United Kingdom (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Oxford University Press, United Kingdom, 1993. Paperback. Book Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****.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. Bookseller Inventory # AAV9780198538363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 71.45
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Ince, D. C.
Published by Clarendon Press (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 1993. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780198538363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.59
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Ince, D. C.
Published by Clarendon Press (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Clarendon Press, 1993. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9780198538363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.81
Convert Currency

Add to Basket

Shipping: US$ 11.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Ince, Darrel C.
Published by OUP Oxford (2016)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description OUP Oxford, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780198538363_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 74.44
Convert Currency

Add to Basket

Shipping: US$ 5.11
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Ince, D. C.
Published by Clarendon Press (2017)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 2017. Paperback. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # 0198538367

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 77.90
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

10.

Ince, D. C.
Published by Clarendon Press (1993)
ISBN 10: 0198538367 ISBN 13: 9780198538363
New Paperback Quantity Available: 10
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 1993. Paperback. Book Condition: New. Bookseller Inventory # INGM9780198538363

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.62
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book