Error title
Some error text about your books and stuff.
Close

Specification of Software Systems

by Vangalur S. Alagar

  • ISBN: 9780387984308
  • ISBN10: 0387984305

Specification of Software Systems

by Vangalur S. Alagar

  • List Price: $89.95
  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 08/01/1998
  • ISBN: 9780387984308
  • ISBN10: 0387984305
used Add to Cart $8.85
You save: 90%
Marketplace Item
new Add to Cart $34.59
You save: 62%
Marketplace Item
Description: This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z in some depth. Consequently, readers will be able to select a formal method that best suits their needs and application.

The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.

Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$8.85
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: FastBooks100
Location: Franklin, TN Ask seller a question
Condition: Good
Price:
$19.95
Comments:
Seller: Jonathan Grobe Books
Location: Deep River, IA
Condition: Very Good
Shipping Icon
0387984305. Exlibrary, usual markings.; 422 pages.
Price:
$22.50
Comments:
0387984305. Exlibrary, usual markings.; 422 pages.
Seller: One Stop Shop Bookstore
Location: Memphis, TN
Condition: Good
Shipping Icon
Price:
$26.93
Comments:
Seller: booksdiscount11
Location: Sterling Hts, MI Ask seller a question
Condition: New
New Book Original US edition, Ships with Emailed Tracking from USA. We Ship to PO BOX Address also.
Price:
$34.59
Comments:
New Book Original US edition, Ships with Emailed Tracking from USA. We Ship to PO BOX Address also.
Seller: discount_scientific_books
Location: Sterling Heights, MI
Condition: New
New Book Original US edition, We Ship to PO BOX Address also.
Price:
$41.65
Comments:
New Book Original US edition, We Ship to PO BOX Address also.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$49.14
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Found Books
Location: AUSTIN, TX
Condition: Good
0387984305.
Price:
$60.75
Comments:
0387984305.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).