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

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 06624859
Price: 53.17 EUR
Availability: InStock
Author: Fred Kroger
ISBN: 9783642715518

Fred Kroger

Език

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

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

Код Либристо: 06624859

Издателство Springer, Berlin, ноември 2011

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main... Цялото описание

Код Либристо: 06624859

129 b

53.17 €

103.98 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

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

Coelln an der Spree Hansj Rgen Vahldiek

С меки корици

11.55 € 22.58 лв

Casa magica del arbol 5/La noche de los guerreros Ninja Mary Pope Osborne

С меки корици

10.21 € 19.96 лв

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.