- 5 Résultats
prix le plus bas: € 29,68, prix le plus élevé: € 44,53, prix moyen: € 34,70
1
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Commander
sur Amazon.de (Intern. Bücher)
€ 35,26
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Livres de poche

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… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
fermer(X)
2
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Commander
sur Amazon.de (Intern. Bücher)
€ 29,68
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Livres de poche

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… Plus…

IN - IndeFrais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
fermer(X)
3
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Commander
sur Amazon.de (Intern. Bücher)
€ 44,53
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Livres de poche

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… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
fermer(X)
4
Commander
sur buchfreund.de
€ 32,97
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Fokkink, Wan:
Modelling Distributed Systems Softcover reprint of hardcover 1st ed. 2007 - Livres de poche

2010, ISBN: 9783642093210

Edition reliée

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fermer(X)
5
Modelling Distributed Systems - Fokkink, Wan
Commander
sur booklooker.de
€ 31,06
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Fokkink, Wan:
Modelling Distributed Systems - Livres de poche

2010, ISBN: 9783642093210

Edition reliée

[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… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
Auteur:
Titre:
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.

Informations détaillées sur le livre - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
164 Pages
Poids: 0,258 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2011-08-04T12:00:21+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-04-17T10:21:02+02:00 (Zurich)
ISBN/EAN: 9783642093210

ISBN - Autres types d'écriture:
3-642-09321-3, 978-3-642-09321-0
Autres types d'écriture et termes associés:
Auteur du livre: wan
Titre du livre: wan, distributed systems, computer systems

Données de l'éditeur

Auteur: Wan Fokkink
Titre: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Editeur: Springer; Springer Berlin
154 Pages
Date de parution: 2010-11-18
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540739388 Modelling Distributed Systems (Wan Fokkink)

< pour archiver...