- 5 Ergebnisse
Kleinster Preis: € 29,68, größter Preis: € 60,94, Mittelwert: € 40,68
1
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Bestellen
bei Amazon.de (Intern. Bücher)
€ 35,26
Versand: € 3,001
Bestellengesponserter Link
Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 9783642093210

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
2
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Bestellen
bei Amazon.de (Intern. Bücher)
€ 29,68
Versand: € 3,001
Bestellengesponserter Link

Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 9783642093210

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…

IN - IndienVersandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
3
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Bestellen
bei Amazon.de (Intern. Bücher)
€ 44,53
Versand: € 3,001
Bestellengesponserter Link
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010

ISBN: 9783642093210

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
4
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Bestellen
bei Amazon.de (Intern. Bücher)
€ 60,94
Versand: € 3,001
Bestellengesponserter Link
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 9783642093210

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 164 Seiten, Publiziert: 2010-11-18T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 7 black & white tables, bio… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
5
Bestellen
bei buchfreund.de
€ 32,97
Versand: € 0,001
Bestellengesponserter Link
Fokkink, Wan:
Modelling Distributed Systems Softcover reprint of hardcover 1st ed. 2007 - Taschenbuch

2010, ISBN: 9783642093210

Gebundene Ausgabe

Softcover reprint of hardcover 1st ed. 2007 Gepflegter, sauberer Zustand. 9902075/2 Versandkostenfreie Lieferung Algorithms,formal verification,computer science,modeling,distributed syste… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Detailangaben zum Buch - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
164 Seiten
Gewicht: 0,258 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-08-04T12:00:21+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-08-09T13:24:43+02:00 (Vienna)
ISBN/EAN: 9783642093210

ISBN - alternative Schreibweisen:
3-642-09321-3, 978-3-642-09321-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wan
Titel des Buches: wan, distributed systems, computer systems


Daten vom Verlag:

Autor/in: Wan Fokkink
Titel: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Verlag: Springer; Springer Berlin
154 Seiten
Erscheinungsjahr: 2010-11-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Algorithms; algorithm; computer; computer science; distributed systems; formal verification; modeling; semantics; verification; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Symbolic and Algebraic Manipulation; Software Engineering; Theory of Computation; Theoretische Informatik; Mathematik für Informatiker; Software Engineering; BB

Abstract Data Types.- Process Algebra.- Hiding Internal Transitions.- Protocol Specifications.- Linear Process Equations.- Verification Algorithms on State Spaces.- Symbolic Methods.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540739388 Modelling Distributed Systems (Wan Fokkink)


< zum Archiv...