Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)

4 avg rating
( 1 ratings by Goodreads )
 
9781567500332: Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
View all copies of this ISBN edition:
 
 

Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.

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

Other Popular Editions of the Same Title

9781567500349: Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)

Featured Edition

ISBN 10:  156750034X ISBN 13:  9781567500349
Publisher: Ablex Pub, 1993
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Marvin V. Zelkowitz, Jim Purtilo, and John D. Gannon
Published by University of Chicago press
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Quantity Available: > 20
Seller:
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description University of Chicago press. Condition: New. Brand New. Seller Inventory # 1567500331

More information about this seller | Contact this seller

Buy New
US$ 35.12
Convert currency

Add to Basket

Shipping: US$ 3.60
Within U.S.A.
Destination, rates & speeds

2.

Zelkowitz
Published by Intellect LTD
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Intellect LTD. Condition: BRAND NEW. BRAND NEW Hardcover A Brand New Quality Book from a Full-Time Veteran Owned Bookshop in business since 1992!. Seller Inventory # 2940370

More information about this seller | Contact this seller

Buy New
US$ 39.45
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

John D. Gannon, Etc., Jim Purtilo,
Published by Intellect Books, United Kingdom (1995)
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Intellect Books, United Kingdom, 1995. Hardback. Condition: New. New.. Language: English. Brand new Book. Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments. Seller Inventory # BTE9781567500332

More information about this seller | Contact this seller

Buy New
US$ 55.62
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Marvin V. Zelkowitz; Jim Purtilo; John D. Gannon
Published by Intellect Ltd (1995)
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Intellect Ltd, 1995. Condition: New. book. Seller Inventory # M1567500331

More information about this seller | Contact this seller

Buy New
US$ 62.60
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds