- 5 resultaten
laagste prijs: € 29,68, hoogste prijs: € 44,53, gemiddelde prijs: € 34,70
1
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
bestellen
bij Amazon.de (Intern. Bücher)
€ 35,26
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Fokkink, Wan:

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

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… Meer...

Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
dichtslaan (X)
2
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
bestellen
bij Amazon.de (Intern. Bücher)
€ 29,68
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

Fokkink, Wan:

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

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… Meer...

IN - IndiaVerzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
dichtslaan (X)
3
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
bestellen
bij Amazon.de (Intern. Bücher)
€ 44,53
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - pocketboek

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… Meer...

Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
dichtslaan (X)
4
bestellen
bij buchfreund.de
€ 32,97
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Fokkink, Wan:
Modelling Distributed Systems Softcover reprint of hardcover 1st ed. 2007 - pocketboek

2010, ISBN: 9783642093210

gebonden uitgave

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

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
dichtslaan (X)
5
Modelling Distributed Systems - Fokkink, Wan
bestellen
bij booklooker.de
€ 31,06
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Fokkink, Wan:
Modelling Distributed Systems - pocketboek

2010, ISBN: 9783642093210

gebonden uitgave

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 9902075/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, Softcover reprint of hardcover 1st ed. 2007, Banküberweisung, Kr… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
auteur:
Titel:
ISBN:

9783642093210


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.

Gedetalleerde informatie over het boek. - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
164 Bladzijden
Gewicht: 0,258 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-08-04T12:00:21+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-17T10:21:02+02:00 (Amsterdam)
ISBN/EAN: 9783642093210

ISBN - alternatieve schrijfwijzen:
3-642-09321-3, 978-3-642-09321-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: wan
Titel van het boek: wan, distributed systems, computer systems

Gegevens van de uitgever

Auteur: Wan Fokkink
Titel: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Uitgeverij: Springer; Springer Berlin
154 Bladzijden
Verschijningsjaar: 2010-11-18
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Taal: Engels
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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540739388 Modelling Distributed Systems (Wan Fokkink)

< naar Archief...