Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Logic for Concurrency and Synchronisation

Name: Logic for Concurrency and Synchronisation
Brand: Springer Netherlands
SKU: 05256029
Price: 119.28 EUR
Availability: InStock
Author: R. J. de Queiroz
ISBN: 9781402012709

R. J. de Queiroz

Език

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

Книга С твърди корици

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

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

"The study of information-based actions and processes has been a vibrant interface between logic and... Цялото описание

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

289 b

119.28 €

233.29 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Défense De L'ordre Social Contre Les Principes De La Révolution Française Jean Baptiste Duvoisin

С твърди корици

36.25 € 70.90 лв

Improvisations on a Missing String Nazik Saba Yared

С твърди корици

38.78 € 75.84 лв

Das Leben Jesu in Stundenbildern Heinz-Lothar Worm

Лист

28.93 € 56.58 лв

MHM - Maxi magnets - Le mini monstre à compter Laurence Le Corf

С твърди корици

39.29 € 76.85 лв

Logico Piccolo 3463a - Ismeretek: Az idő Stephan Ute

С меки корици

7.06 € 13.81 лв

Las fiestas judías y el Mesías Voltaggio

С меки корици

19.80 € 38.72 лв

Autour de l'Espagne des validos, 1598-1645 Книга

binding.

24.70 € 48.31 лв

Sprawy do załatwienia. Deadpool. Tom 12 Gerry Duggan

С меки корици

11.60 € 22.68 лв

ENTRE MOGADOR Y SIDI IFNI. UNA HISTORIA DE ESPEJISMOS YOUSSEF AKMIR

С твърди корици

31.40 € 61.42 лв

Blancanieves y Los 77 Enanitos Davide Cali

С твърди корици

18.61 € 36.40 лв

Tom und Jerry, 70 Jahre Jubiläumsfeier Deluxe, 2 DVDs Zeichentric K

DVD

13.66 € 26.72 лв

Medienfunktionen in Thomas Manns 'Der Zauberberg' und Franz Kafkas 'Der Process' Alexander Monagas

С меки корици

17.07 € 33.38 лв

La Vita Sul Pianeta Marte G. V. (Giovanni Virginio) Schiaparelli

С твърди корици

17.07 € 33.38 лв

"The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer exciting glimpses of future integration with obvious links including modal logics for proof graphs, labelled deduction merging modal and linear logic, Chu spaces linking proof theory and model theory and bisimulation-style equivalences for analysing proof processes. §The combination of approaches and pointers for further integration also suggests a grander vision for the field. In classical computation theory, Church's Thesis provided a unifying and driving force. Likewise, modern process theory would benefit immensely from a synthesis bringing together paradigms like modal logic, process algebra, and linear logic. §If this Grand Synthesis is ever going to happen, books like this are needed! "