Mohlo by se vám také líbit

Více informací o knize VLSI Algorithms and Architectures

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: VLSI Algorithms and Architectures
• Podnázev: Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
• Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 330
• EAN: 9783540167662
• ISBN: 3540167668
• ID: 01558299
• Nakladatelství: Springer, Berlin
• Hmotnost: 550 g
• Rozměry: 234 × 156 × 18 mm

Oblíbené z jiného soudku

---

---

---