- 5 resultados
menor preço: € 29,68, preço mais alto: € 44,53, preço médio: € 34,70
1
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 35,26
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Fokkink, Wan:

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

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

Custos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
fechar(X)
2
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 29,68
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado

Fokkink, Wan:

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

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

IN - ÍndiaCustos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
fechar(X)
3
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Fokkink, Wan
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 44,53
Envio: € 3,001
Encomendar
Detalhes fornecedor
Link patrocinado
Fokkink, Wan:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Livro de bolso

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

Custos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
fechar(X)
4
Encomendar
no/na buchfreund.de
€ 32,97
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Fokkink, Wan:
Modelling Distributed Systems Softcover reprint of hardcover 1st ed. 2007 - Livro de bolso

2010, ISBN: 9783642093210

Edição encadernada

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fechar(X)
5
Modelling Distributed Systems - Fokkink, Wan
Encomendar
no/na booklooker.de
€ 31,06
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Fokkink, Wan:
Modelling Distributed Systems - Livro de bolso

2010, ISBN: 9783642093210

Edição encadernada

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

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
Autor:
Título:
Número 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.

Dados detalhados do livro - Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer
164 Páginas
Peso: 0,258 kg
Língua: eng/Englisch

Livro na base de dados desde 2011-08-04T11:00:21+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-17T09:21:02+01:00 (Lisbon)
Número ISBN/EAN: 9783642093210

Número ISBN - Ortografia alternativa:
3-642-09321-3, 978-3-642-09321-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: wan
Título do livro: wan, distributed systems, computer systems

Dados da editora

Autor: Wan Fokkink
Título: Texts in Theoretical Computer Science. An EATCS Series; Modelling Distributed Systems
Editora: Springer; Springer Berlin
154 Páginas
Ano de publicação: 2010-11-18
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: Inglês
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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783540739388 Modelling Distributed Systems (Wan Fokkink)

< Para arquivar...