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)

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.

Top Search Results from the AbeBooks Marketplace

1.

Marvin V. Zelkowitz, Jim Purtilo, and John D. Gannon
Published by Intellect Ltd
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Intellect Ltd. Book Condition: BRAND NEW. BRAND NEW Hardcover A Brand New Quality Book from a Full-Time Bookshop in business since 1992!. Bookseller Inventory # 2425460

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 35.94
Convert Currency

Add to Basket

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

2.

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. Book Condition: New. Brand New. Bookseller Inventory # 1567500331

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 35.12
Convert Currency

Add to Basket

Shipping: US$ 3.50
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. Book Condition: New. New.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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. Bookseller Inventory # BTE9781567500332

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.05
Convert Currency

Add to Basket

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

4.

Marvin V. Zelkowitz
ISBN 10: 1567500331 ISBN 13: 9781567500332
New Hardcover Quantity Available: 1
Seller:
AussieBookSeller
(SILVERWATER, NSW, Australia)
Rating
[?]

Book Description 1994. Hardcover. Book Condition: New. Hardcover. 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.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 288 pages. 0.540. Bookseller Inventory # 9781567500332

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 55.35
Convert Currency

Add to Basket

Shipping: US$ 37.00
From Australia to U.S.A.
Destination, Rates & Speeds