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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Modal Logic and Process Algebra

Name: Modal Logic and Process Algebra
Brand: Centre for the Study of Language & Information
SKU: 05012595
Price: 35.59 EUR
Availability: PreOrder
Author: Alban Ponse
ISBN: 9781881526964

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Sprache

Englisch

Buch Broschur

Libristo-Code: 05012595

Verlag Centre for the Study of Language & Information, Juni 1996

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Vollständige Beschreibung

Libristo-Code: 05012595

87 b

Demnächst

35.59 € inkl. MwSt.

Erwarteter Nachdruck

Termin unbekannt

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

El viaje de las palabras ANDREA MARCOLONGO

Hardcover

21.19 €

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez

Adobe ePub DRM

11.39 €

Tí, čo nás predišli Martin Uher

Broschur

4.49 €

Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz

Hardcover

49.80 €

Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza

Broschur

17.19 €

Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras

Broschur

15.39 €

Dědečkův velký útěk David Walliams

Audio CD

9.59 €

Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun

Hardcover

19.95 €

La Curacion Cuantica = Quantum Healing FRANK KINSLOW

Broschur

13.79 €

1.1.-30.6.2004 Manfred Baldus

Hardcover

219.00 €

Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner

Spielzeug

5.99 €

Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández

Broschur

43.29 €

Liebermann Hubert Knackfuß

Broschur

16.90 €

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

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 Modal Logic and Process Algebra

Autor Alban Ponse, Maarten De Rijke, Yde Venema

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 352

EAN 9781881526964

ISBN 1881526968

Libristo-Code 05012595

Verlag Centre for the Study of Language & Information

Gewicht 482

Abmessungen 152 x 228 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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

Das könnte Sie auch interessieren

The Next Great Paulie Fink Ali Benjamin

Hardcover

31.19 €

Consumption Takes Time Steedman

Broschur

59.99 €

Budgetary Control in Modern Organisation Israel Davidson

Broschur

69.39 €

20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang

Broschur

8.69 €

Te Ika a Maui, or, New Zealand and its Inhabitants. Second edition, etc. Richard M a Taylor

Broschur

29.09 €

42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin

Broschur

15.49 €

Modern Education M. S. Avezova

Broschur

8.49 €

Guitar Chords - Major 7 Chords Dan Lupo

Broschur

7.59 €

More Than a Woman a Woman Marine Karen Haynes

Broschur

13.19 €

American Legal System and Civic Engagement Kenneth Manaster

Broschur

47.49 €

The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant

Broschur

24.89 €

On the Shoulders of Giants M.E. Lines

Broschur

52.99 €

NoMeansNo Mark Black

Broschur

14.69 €

Hammershoi Frank Claustrat

Hardcover

38.29 €

Secretive Sara Rosett

Broschur

9.19 €

English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith

Leporello

42.69 €

Spirit Animal Oracle Colette Baron-Reid

Karten

21.49 €

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards

Broschur

24.79 €

The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt

Broschur

30.79 €

Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec

Hardcover

213.29 €

Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous

Broschur

11.59 €