Книга Temporal Logic of Programs Fred Kroger

Temporal Logic of Programs

Автор: Fred Kroger
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
51.57 100.86 лв
Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main...

Информация за книгата

Автор
Език
Английски език
Корици
Книга - С меки корици
Издадена
2011
страници
8
EAN
9783642715518
ISBN
9783642715518
Enbook ID
06624859
Издател
Теглоt
288
Размери
170 x 244 x 8

Пълно описание

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.

Може също да ви хареса

One Fine Day

Anna Sable
27.76 54.29 лв

Time and Chance

Sharon Penman
29.46 57.62 лв

Magical Musical Tour

DONNELLY KEVIN J
44.77 87.56 лв

Renegades

Thomas Locke
30.06 58.79 лв

Клиенти, които купиха тази книга, купиха също

Coelln an der Spree

Hansj Rgen Vahldiek
11.20 21.91 лв
9.90 19.36 лв