Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Modal Logic and Process Algebra

A Bisimulation Perspective

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Modal Logic and Process Algebra Alban Ponse
Libristo-code: 05012595
Uitgeverij Centre for the Study of Language & Information, juni 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Volledige beschrijving
? points 84 b Wordt verwacht Wordt verwacht
34.83 €
Verwachte herdruk Datum onbekend Datum onbekend

Retourneren binnen 30 dagen

Klanten kochten ook

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 11.03 €
El viaje de las palabras ANDREA MARCOLONGO / Boek Gebonden (harde band)
common.buy 23.79 €
Tí, čo nás predišli Martin Uher / Boek Gebonden (paperback)
common.buy 5.05 €
Liebermann Hubert Knackfuß / Boek Gebonden (paperback)
common.buy 15.28 €
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Boek Gebonden (harde band)
common.buy 41.92 €
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Boek Gebonden (paperback)
common.buy 16.60 €
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Boek Gebonden (paperback)
common.buy 14.88 €
Dědečkův velký útěk David Walliams / Audio Audio cd
common.buy 10.73 €
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Boek Gebonden (harde band)
common.buy 18.02 €
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Boek Gebonden (paperback)
common.buy 14.78 €
1.1.-30.6.2004 Manfred Baldus / Boek Gebonden (harde band)
common.buy 217.65 €
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Spel/speelgoed Speelgoed
common.buy 7.38 €
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Boek Gebonden (paperback)
common.buy 43.85 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Modal Logic and Process Algebra
Auteur Alban Ponse, Maarten De Rijke, Yde Venema
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1996
Aantal pagina's 352
EAN 9781881526964
ISBN 1881526968
Libristo-code 05012595
Uitgeverij Centre for the Study of Language & Information
Gewicht 482
Afmetingen 152 x 228 x 20

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Boek Gebonden (paperback)
common.buy 23.89 €
Budgetary Control in Modern Organisation Israel Davidson / Boek Gebonden (paperback)
common.buy 82.23 €
Hero in Me Teacher's Guide Judy Dick / E-book Adobe ePub DRM
common.buy 30.88 €
Guitar Chords - Major 7 Chords Dan Lupo / Boek Gebonden (paperback)
common.buy 9.00 €
American Legal System and Civic Engagement Kenneth Manaster / Boek Gebonden (paperback)
common.buy 48.10 €
Modern Education M. S. Avezova / Boek Gebonden (paperback)
common.buy 10.62 €
NoMeansNo Mark Black / Boek Gebonden (paperback)
common.buy 14.88 €
Secretive Sara Rosett / Boek Gebonden (paperback)
common.buy 11.33 €
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Boek Leporello (harmonicaboek)
common.buy 47.80 €
Wordt verwacht
Hammershoi Frank Claustrat / Boek Gebonden (harde band)
common.buy 47.80 €
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Boek Gebonden (paperback)
common.buy 18.63 €
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Boek Gebonden (harde band)
common.buy 227.17 €
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Boek Gebonden (paperback)
common.buy 11.74 €
Spirit Animal Oracle Colette Baron-Reid / Drukwerk Speelkaarten
common.buy 26.83 €
The Next Great Paulie Fink Ali Benjamin / Boek Gebonden (harde band)
common.buy 29.67 €
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Boek Gebonden (paperback)
common.buy 24.10 €
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Boek Gebonden (paperback)
common.buy 10.32 €
Mothers Recompense Grace Aguilar / Boek Gebonden (harde band)
common.buy 44.55 €
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Boek Gebonden (paperback)
common.buy 29.77 €
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Boek Gebonden (harde band)
common.buy 155.76 €
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Boek Gebonden (paperback)
common.buy 51.75 €
What to Do for a Pain in the Neck Jerome Schofferman / Boek Gebonden (paperback)
common.buy 17.21 €
Medieval Horse and its Equipment, c.1150-1450 John Clark / Boek Gebonden (paperback)
common.buy 26.93 €
Doing Time Roger Matthews / Boek Gebonden (paperback)
common.buy 119.81 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?