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.

Topology in Process Calculus

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

Approximate Correctness and Infinite Evolution of Concurrent Programs

Mingsheng Ying

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 01384254

Uitgeverij Springer-Verlag New York Inc., maart 2001

Communication and concurrency are essential in understanding complex dynamic systems, and there have... Volledige beschrijving

Libristo-code: 01384254

125 b

51.56 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Un Diplomate dans la tourmente Rahn

Gebonden (paperback)

40.16 €

México CECCHI

Boek

6.25 €

TIRANT LO BLANC MARTORELL

Gebonden (paperback)

9.98 €

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

Gebonden (paperback)

20.58 €

Joseph Staline à la Une Olivier Luciani

Gebonden (paperback)

30.87 €

Iconographie Et Arts Du Spectacle Jerome De La Gorce

Gebonden (paperback)

56.91 €

Key - Aktuelle Ausgabe - A1 Dietlind Unger

Gebonden (paperback)

18.76 €

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

Gebonden (paperback)

93.85 €

Apollodori Bibliotheca (1854) Apollodorus

Gebonden (harde band)

37.23 €

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

Gebonden (paperback)

42.68 €

Lucky Luke - Am Klondike Yann L?turgie

Gebonden (harde band)

12.71 €

Orwell en España George Orwell

Gebonden (paperback)

13.51 €

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

Gebonden (paperback)

13.62 €

Právo národov John Rawls

Boek

9.48 €

Mehr des gleichen Some Author

Gebonden (paperback)

12.71 €

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.

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

Auteur Mingsheng Ying

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2001

Aantal pagina's 220

EAN 9780387950921

ISBN 0387950923

Libristo-code 01384254

Uitgeverij Springer-Verlag New York Inc.

Gewicht 1110

Afmetingen 155 x 235 x 17

Categorieën

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp > Parallelverwerking

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Wiskunde en wetenschap > Wiskunde

Informatica en informatietechnologie > Besturingssystemen

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