Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 9783642715518
Price: 51.57 EUR
Availability: InStock

Автор: 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...

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

Автор

Fred Kroger

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

EAN

9783642715518

ISBN

9783642715518

Enbook ID

06624859

Издател

Springer, Berlin

Тегло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.