Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Models of Computation

64.96 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10467725

Beschreibung

Preliminaries.- Operational Semantics of IMP.- Induction and Recursion.- Partial Orders and Fixpoints.- Denotational Semantics of IMP.- Operational Semantics of HOFL.- Domain Theory.- HOFL Denotational Semantics.- Equivalence Between HOFL Denotational and Operational Semantics.- Calculus for Communicating Systems (CCS).- Temporal Logic and mu-Calculus.- Pi-Calculus.- Measure Theory and Markov Chains.- Markov Chains with Actions and Non-determinism.- Performance Evaluation Process Algebra (PEPA).

Eigenschaften

Breite:	155
Gewicht:	640 g
Höhe:	235
Seiten:	395
Sprachen:	Englisch
Autor:	Roberto Bruni, Ugo Montanari

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller