- 5 Risultati
prezzo più basso: € 29,68, prezzo più alto: € 44,53, prezzo medio: € 34,70
1
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Ordina
da Amazon.de (Intern. Bücher)
€ 35,26
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - edizione con copertina flessibile

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

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
Chiudere (X)
2
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Ordina
da Amazon.de (Intern. Bücher)
€ 29,68
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

Fokkink, Wan:

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - edizione con copertina flessibile

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

IN - IndiaCosti di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
Chiudere (X)
3
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Ordina
da Amazon.de (Intern. Bücher)
€ 44,53
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - edizione con copertina flessibile

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

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
Chiudere (X)
4
Ordina
da buchfreund.de
€ 32,97
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Fokkink, Wan:
Modelling Distributed Systems Softcover reprint of hardcover 1st ed. 2007 - edizione con copertina flessibile

2010, ISBN: 9783642093210

edizione con copertina rigida

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
Chiudere (X)
5
Modelling Distributed Systems - Fokkink, Wan
Ordina
da booklooker.de
€ 31,06
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Fokkink, Wan:
Modelling Distributed Systems - edizione con copertina flessibile

2010, ISBN: 9783642093210

edizione con copertina rigida

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer
164 Pagine
Peso: 0,258 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2011-08-04T12:00:21+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-17T10:21:02+02:00 (Zurich)
ISBN/EAN: 9783642093210

ISBN - Stili di scrittura alternativi:
3-642-09321-3, 978-3-642-09321-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : wan
Titolo del libro: wan, distributed systems, computer systems

Dati dell'editore

Autore: Wan Fokkink
Titolo: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Editore: Springer; Springer Berlin
154 Pagine
Anno di pubblicazione: 2010-11-18
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
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.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783540739388 Modelling Distributed Systems (Wan Fokkink)

< Per archiviare...