Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic for Concurrency and Synchronisation

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

R. J. de Queiroz

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05256029

Verlag Springer Netherlands, November 2002

"The study of information-based actions and processes has been a vibrant interface between logic and... Vollständige Beschreibung

Libristo-Code: 05256029

290 b

118.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Hardcover

37.69 €

Improvisations on a Missing String Nazik Saba Yared

Hardcover

38.39 €

Das Leben Jesu in Stundenbildern Heinz-Lothar Worm

Blatt

28.99 €

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

Hardcover

38.89 €

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

Broschur

6.99 €

Las fiestas judías y el Mesías Voltaggio

Broschur

19.69 €

Autour de l'Espagne des validos, 1598-1645 Buch

binding.

24.49 €

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

Broschur

11.49 €

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

Hardcover

31.09 €

Blancanieves y Los 77 Enanitos Davide Cali

Hardcover

18.49 €

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

DVD

13.59 €

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

Broschur

17.95 €

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

Hardcover

17.90 €

"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! "

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic for Concurrency and Synchronisation

Autor R. J. de Queiroz

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2003

Anzahl der Seiten 285

EAN 9781402012709

ISBN 1402012705

Libristo-Code 05256029

Verlag Springer Netherlands

Gewicht 622

Abmessungen 160 x 240 x 19

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert