VLSI Algorithms and Architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
SpringerSivumäärä: 330 sivuaAsu: Pehmeäkantinen kirjaPainos: 1986Julkaisuvuosi: 1986, 01.06.1986 (lisätietoa)Kieli: Englanti
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.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa