Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Modal Logic and Process Algebra

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

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 05012594

Uitgeverij Centre for the Study of Language & Information, juni 1995

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Volledige beschrijving

Libristo-code: 05012594

175 b

Wordt verwacht

72.59 €

Verwachte herdruk

Datum onbekend

Retourneren binnen 30 dagen

Klanten kochten ook

Mes Amusemens Dans La Prison de Sainte-Pelagie Saint-Desire

Gebonden (paperback)

18.42 €

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

Gebonden (paperback)

148.84 €

Historia de Yucatán Diego López de Cogolludo

Gebonden (harde band)

40.29 €

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

Gebonden (paperback)

7.89 €

INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Boek

Gebonden (paperback)

25.91 €

Dnes v noci zemřeš Viveca Sten

Gebonden (harde band)

6.47 €

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

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 (harde band)

Datum van uitgifte 1995

Aantal pagina's 352

EAN 9781881526957

ISBN 188152695X

Libristo-code 05012594

Uitgeverij Centre for the Study of Language & Information

Gewicht 648

Afmetingen 152 x 228 x 24

Categorieën

Wiskunde en wetenschap > Wiskunde > Algebra

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Wiskunde en wetenschap > Wetenschap: algemene onderwerpen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

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