Mégsem tetszik a termék? Semmi gond! A termékeket akár 30 napig visszaküldheti
Ajándékutalvánnyal nem hibázhat. A megajándékozott az ajándékutalványért bármit választhat kínálatunkból.
Akár 30 napos visszaküldési lehetőség
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.
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?