Mohlo by sa vám tiež páčiť

Viac informácií o knihe Temporal Logic of Programs

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Temporal Logic of Programs
• Autor: Fred Kroger
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 8
• EAN: 9783642715518
• ISBN: 9783642715518
• ID: 06624859
• Nakladateľ: Springer, Berlin
• Hmotnosť: 288 g
• Rozmery: 244 × 170 × 8 mm
• Dátum vydania: 17. November 2011

Obľúbené z iného súdka

---

---

---