VLSI Algorithms and Architectures
Format: Paperback
ISBN13: 9783540167662
Paperback|9783540167662
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $38.38 FREE standard delivery by: 02 Apr 2026
Overview
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
| ISBN-13 | 9783540167662 |
|---|---|
| ISBN-10 | 3540167668 |
| Weight | 1.05 Pounds |
| Dimensions | 6.10 x 0.77 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | x, 330 pages |
| Publisher | Springer |
| Published On | 1986-06-01 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 330 p. Lecture Notes in Computer Science, 227.
Free delivery by: 02 Apr 2026