- 5 resultados
menor preço: € 89.96, preço mais alto: € 293.92, preço médio: € 215.53
1
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job
Encomendar
no/na amazon.com
$ 96.00
(aproximadamente € 89.96)
Envio: € 15.881
Encomendar
Detalhes fornecedor
Link patrocinado
Roever, Willem-Paul de, Boer, Frank de, Hanneman, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job:

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - primeira edição

2001, ISBN: 9780521806084

Edição encadernada

Cambridge University Press, Hardcover, Auflage: 1, 800 Seiten, Publiziert: 2001-11-26T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 5 tables 156 exercises, 1.17 kg, Computers & Technolo… mais…

Custos de envio:Real shipping costs can differ from the ones shown here. (EUR 15.88)
fechar(X)
2
Encomendar
no/na AbeBooks.co.uk
£ 254.74
(aproximadamente € 293.92)
Envio: € 31.661
Encomendar
Detalhes fornecedor
Link patrocinado

Frank de Boer, Willem-Paul de Roever, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54) - encadernada, livro de bolso

2001, ISBN: 0521806089

[EAN: 9780521806084], New book, [SC: 31.66], [PU: Cambridge University Press], Clean and crisp and new!, Books

NEW BOOK. Custos de envio: EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
fechar(X)
3
Encomendar
no/na alibris.co.uk
£ 238.59
(aproximadamente € 274.19)
Encomendar
Detalhes e envio
Link patrocinado
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - encadernada, livro de bolso

2001

ISBN: 9780521806084

Hard cover, New., Cambridge Tracts in Theoretical Computer Science. Intended for professional and scholarly audience., Cambridge, [PU: Cambridge University Press]

Custos de envio:mais custos de envio Bayonne, NJ, booksXpress
fechar(X)
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Encomendar
no/na Blackwells.co.uk
£ 225.00
(aproximadamente € 259.60)
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - encadernada, livro de bolso

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Custos de envio:Unknown. (EUR 0.00) Blackwells.co.uk
fechar(X)
5
Concurrency Verification - Collectif
Encomendar
no/na Rakuten.fr
€ 160.00
Envio: € 4.991
Encomendar
Detalhes fornecedor
Link patrocinado
Collectif:
Concurrency Verification - livro usado

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Custos de envio:France. (EUR 4.99) Priceminister
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 item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Autor:
Título:
Número ISBN:

9780521806084


This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Dados detalhados do livro - Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)


EAN (ISBN-13): 9780521806084
ISBN (ISBN-10): 0521806089
Livro de capa dura
Livro de bolso
Ano de publicação: 2001
Editor/Editora: Cambridge University Press
798 Páginas
Peso: 1,161 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-06-05T15:26:25-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-11-29T01:12:30-03:00 (Sao Paulo)
Número ISBN/EAN: 9780521806084

Número ISBN - Ortografia alternativa:
0-521-80608-9, 978-0-521-80608-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: paul ulrich, zwiers, paul frank, mannes, fourier, frank mann, boer willem, röver, ulrich hannemann, job, hanneman, böer, roever, han boer, wille ulrich, yassine
Título do livro: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition

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

Último livro semelhante:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)

< Para arquivar...