Zobacz książki o podobnej tematyce

Więcej informacji o VLSI Algorithms and Architectures

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 147 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Computer architecture & logic design

• Pełny tytuł: VLSI Algorithms and Architectures
• Podtytuł: Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
• Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 330
• EAN: 9783540167662
• ISBN: 3540167668
• ID: 01558299
• Wydawca: Springer, Berlin
• Waga: 550 g
• Wymiary: 234 × 156 × 18 mm

Ulubione w innej kategorii

---

---

---