- 5 Ergebnisse
Kleinster Preis: € 23,50, größter Preis: € 61,70, Mittelwert: € 45,77
1
Modelling Distributed Systems - Fokkink, Wan
Bestellen
bei Achtung-Buecher.de
€ 54,15
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Fokkink, Wan:

Modelling Distributed Systems - gebunden oder broschiert

2007, ISBN: 3540739378

2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Modelling Distributed Systems - Fokkink, Wan
Bestellen
bei Achtung-Buecher.de
€ 61,70
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Fokkink, Wan:

Modelling Distributed Systems - gebunden oder broschiert

2007, ISBN: 3540739378

2007 Gebundene Ausgabe Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Software Engineering, Theoretische Informatik, Systemanalyse und -de… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Bestellen
bei buchfreund.de
€ 42,67
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Fokkink, Wan:
Modelling Distributed Systems 2007 - gebrauchtes Buch

2007

ISBN: 9783540739371

2007 Neubindung, Buchrücken leicht angestossen, Ausgabe 2007 3869179/12 Versandkostenfreie Lieferung computer,verification,distributed systems,Algorithms,modeling,algorithm,computer scien… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
4
Bestellen
bei Antikbuch24.de
€ 23,50
Versand: € 8,001
Bestellen
Details beim Anbieter
gesponserter Link
Fokkink, Willem J.:
Modelling Distributed Systems. (=Texts in Theoretical Computer Science). - gebunden oder broschiert

ISBN: 9783540739371

VIII, 151 S.; Ill. Hardcover, [PU: Springer, Berlin/Heidelberg]

Versandkosten: EUR 8.00 Antiquariat Thomas Haker GmbH & Co. KG
zuklappen (X)
5
Modelling Distributed Systems - Fokkink, Wan
Bestellen
bei Blackwells.co.uk
£ 38,99
(ca. € 46,81)
Versand: € 7,801
Bestellen
Details beim Anbieter
gesponserter Link
Fokkink, Wan:
Modelling Distributed Systems - gebunden oder broschiert

ISBN: 9783540739371

hardback, [PU: Springer, Berlin/Heidelberg]

in stock. Versandkosten:Usually dispatched within 48 hours. (EUR 7.80) Blackwells.co.uk
zuklappen (X)
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
Autor:
Titel:
ISBN-Nummer:

9783540739371


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


EAN (ISBN-13): 9783540739371
ISBN (ISBN-10): 3540739378
Gebundene Ausgabe
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag/Sci-Tech/Trade
156 Seiten
Gewicht: 0,413 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-07-01T04:30:09+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-18T14:06:16+01:00 (Vienna)
ISBN/EAN: 9783540739371

ISBN - alternative Schreibweisen:
3-540-73937-8, 978-3-540-73937-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wan
Titel des Buches: computer systems, theoretical computer science, distributed systems, modelling

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: 2007-09-26
Berlin; Heidelberg; DE
Sprache: Englisch
54,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Informatik; 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; EA; BC

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:
9783642093210 Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) (Fokkink, Wan)

< zum Archiv...