Introduction Formal Specification And Z (2nd Edition)

3.4 avg rating
( 5 ratings by Goodreads )
 
9780132422079: Introduction Formal Specification And Z (2nd Edition)

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.

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

From the Back Cover:

Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.

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

Top Search Results from the AbeBooks Marketplace

1.

Potter, Ben, Sinclair, Jane, Till, David
Published by Prentice Hall (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 2
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1996. Paperback. Book Condition: New. Bookseller Inventory # P110132422077

More Information About This Seller | Ask Bookseller a Question

Buy New
44.54
Convert Currency

Add to Basket

Shipping: 2.31
Within U.S.A.
Destination, Rates & Speeds

2.

Ben Potter, Jane Sinclair, David Till
Published by Pearson Education (US), United States (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Pearson Education (US), United States, 1996. Paperback. Book Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****.Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. Bookseller Inventory # AAV9780132422079

More Information About This Seller | Ask Bookseller a Question

Buy New
67.01
Convert Currency

Add to Basket

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

3.

Ben Potter
Published by Pearson Education (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Pearson Education, 1996. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9780132422079

More Information About This Seller | Ask Bookseller a Question

Buy New
60.15
Convert Currency

Add to Basket

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

4.

Ben Potter, Jane Sinclair, David Till
Published by Pearson Education (US), United States (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 10
Print on Demand
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Pearson Education (US), United States, 1996. Paperback. Book Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****. Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. Bookseller Inventory # AAV9780132422079

More Information About This Seller | Ask Bookseller a Question

Buy New
69.59
Convert Currency

Add to Basket

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

5.

Potter, Ben
Published by Prentice Hall (2016)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

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

More Information About This Seller | Ask Bookseller a Question

Buy New
66.58
Convert Currency

Add to Basket

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

6.

Ben Potter/ Jane Sinclair/ David Till
Published by Prentice Hall (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Prentice Hall, 1996. Paperback. Book Condition: Brand New. 2nd sub edition. 434 pages. 9.25x7.00x0.75 inches. In Stock. Bookseller Inventory # zk0132422077

More Information About This Seller | Ask Bookseller a Question

Buy New
66.67
Convert Currency

Add to Basket

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

7.

Ben Potter; Jane Sinclair; David Till
Published by Prentice Hall (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1996. Paperback. Book Condition: New. book. Bookseller Inventory # 0132422077

More Information About This Seller | Ask Bookseller a Question

Buy New
92.59
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Ben Potter, Jane Sinclair, David Till
Published by Prentice Hall (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Paperback Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1996. Paperback. Book Condition: New. 2. Bookseller Inventory # DADAX0132422077

More Information About This Seller | Ask Bookseller a Question

Buy New
92.81
Convert Currency

Add to Basket

Shipping: 3.08
Within U.S.A.
Destination, Rates & Speeds

9.

Ben Potter
Published by Prentice Hall (1996)
ISBN 10: 0132422077 ISBN 13: 9780132422079
New Softcover Quantity Available: 1
Print on Demand
Seller
Rating
[?]

Book Description Prentice Hall, 1996. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780132422079

More Information About This Seller | Ask Bookseller a Question

Buy New
110.66
Convert Currency

Add to Basket

Shipping: 3.58
From Germany to U.S.A.
Destination, Rates & Speeds