- 5 Resultados
precio mínimo: € 89,96, precio máximo: € 293,92, precio promedio: € 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
Pedir
por amazon.com
$ 96,00
(aprox. € 89,96)
Envío: € 15,881
PedirEnlace 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) - Primera edición

2001, ISBN: 9780521806084

Pasta dura

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… Más…

Gastos de envío:Real shipping costs can differ from the ones shown here. (EUR 15.88)
2
Pedir
por AbeBooks.co.uk
£ 254,74
(aprox. € 293,92)
Envío: € 31,661
PedirEnlace 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) - encuadernado, tapa blanda

2001, ISBN: 0521806089

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

NEW BOOK. Gastos de envío: EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
3
Pedir
por alibris.co.uk
£ 238,59
(aprox. € 274,19)
PedirEnlace patrocinado
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - encuadernado, tapa blanda

2001

ISBN: 9780521806084

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

Gastos de envío:más gastos de envío Bayonne, NJ, booksXpress
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Pedir
por Blackwells.co.uk
£ 225,00
(aprox. € 259,60)
Envío: € 0,001
PedirEnlace patrocinado
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - encuadernado, tapa blanda

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Gastos de envío:Unknown. (EUR 0.00) Blackwells.co.uk
5
Concurrency Verification - Collectif
Pedir
por Rakuten.fr
€ 160,00
Envío: € 4,991
PedirEnlace patrocinado
Collectif:
Concurrency Verification - libro usado

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Gastos de envío:France. (EUR 4.99) Priceminister

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

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.

Detalles del libro - 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
Tapa dura
Tapa blanda
Año de publicación: 2001
Editorial: Cambridge University Press
798 Páginas
Peso: 1,161 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-06-05T20:26:25+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-11-29T05:12:30+01:00 (Madrid)
ISBN/EAN: 0521806089

ISBN - escritura alterna:
0-521-80608-9, 978-0-521-80608-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: 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 del libro: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition


Más, otros libros, que pueden ser muy parecidos a este:

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


< para archivar...