0 Mėgstami
0Krepšelis
82,48 
82,48 
2025-07-31 82.4800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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.

Informacija

Autorius: Fred Kröger
Serija: Monographs in Theoretical Computer Science. An EATCS Series
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2011
Knygos puslapių skaičius: 160
ISBN-10: 3642715516
ISBN-13: 9783642715518
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical theory of computation

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Temporal Logic of Programs“

Būtina įvertinti prekę

Goodreads reviews for „Temporal Logic of Programs“