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 :-(

Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer-Verlag New York Inc.
SKU: 01384254
Price: 53.79 EUR
Availability: InStock
Author: Mingsheng Ying
ISBN: 9780387950921

Approximate Correctness and Infinite Evolution of Concurrent Programs

Mingsheng Ying

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01384254

Verlag Springer-Verlag New York Inc., März 2001

Communication and concurrency are essential in understanding complex dynamic systems, and there have... Vollständige Beschreibung

Libristo-Code: 01384254

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

México CECCHI

Buch

6.39 €

Key - Aktuelle Ausgabe - A1 Dietlind Unger

Broschur

19.49 €

TIRANT LO BLANC MARTORELL

Broschur

10.09 €

Impressions asiatiques - Les pérégrinations en Chine et en Extrême-Orient d’un Français curieux de HUMBERT

Broschur

21.29 €

Joseph Staline à la Une Olivier Luciani

Broschur

31.89 €

Iconographie Et Arts Du Spectacle Jerome De La Gorce

Broschur

58.79 €

Die Entscheidung über Krieg und Frieden nach deutschem Verfassungsrecht. Bernd Rieder

Broschur

99.90 €

Apollodori Bibliotheca (1854) Apollodorus

Hardcover

38.69 €

Was ist Pflege? Eine Arbeit uber die Bedeutung, die Rezipienten, die Aufgaben und die Ziele der Pflege Albert Etschmaier

Broschur

47.95 €

Lucky Luke - Am Klondike Yann L?turgie

Hardcover

15.00 €

Orwell en España George Orwell

Broschur

13.89 €

Au Sujet Du Regime Du Travail Etabli Dans La Colonie de l'Ile de la Reunion SICRE DE FONTBRUNE-A

Broschur

14.19 €

Právo národov John Rawls

Buch

9.99 €

Mehr des gleichen Some Author

Broschur

15.50 €

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of ap proximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.

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 Topology in Process Calculus

Autor Mingsheng Ying

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 220

EAN 9780387950921

ISBN 0387950923

Libristo-Code 01384254

Verlag Springer-Verlag New York Inc.

Gewicht 1110

Abmessungen 155 x 235 x 17

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf > Parallelrechner, parallele Verarbeitung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Mathematik und Naturwissenschaften > Mathematik

EDV und Informationstechnologie > Betriebssysteme

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