Verification of sequential and concurrent programs (Texts and monographs in computer science)

by Frank S. de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt

Book Overview

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 3540975322
• ISBN13: 9783540975328
• Release Date: January 1991
• Publisher: Springer-Verlag
• Length: 441 Pages
• Weight: 17.09 lbs.
• Dimensions: 5.5" x 8.7"