- 5 Risultati
prezzo più basso: € 89,96, prezzo più alto: € 293,92, prezzo medio: € 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
Ordina
da amazon.com
$ 96,00
(indicativi € 89,96)
Spedizione: € 15,881
Ordina
Dettagli del offerente
Link sponsorizzato
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) - Prima edizione

2001, ISBN: 9780521806084

edizione con copertina rigida

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

Costi di spedizione:Real shipping costs can differ from the ones shown here. (EUR 15.88)
Chiudere (X)
2
Ordina
da AbeBooks.co.uk
£ 254,74
(indicativi € 293,92)
Spedizione: € 31,661
Ordina
Dettagli del offerente
Link sponsorizzato

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) - copertina rigida, flessible

2001, ISBN: 0521806089

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

NEW BOOK. Costi di spedizione: EUR 31.66 Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (of 5)]
Chiudere (X)
3
Ordina
da alibris.co.uk
£ 238,59
(indicativi € 274,19)
Ordina
Dettagli & spedizione
Link sponsorizzato
Roever, Willem-Paul de, and Boer, Frank de, and Hanneman, Ulrich:
Concurrency Verification: Introduction to Compositional and Non-compositional Methods - copertina rigida, flessible

2001

ISBN: 9780521806084

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

Costi di spedizione:Costi di spedizione aggiuntivi Bayonne, NJ, booksXpress
Chiudere (X)
4
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - de Roever, Willem-Paul
Ordina
da Blackwells.co.uk
£ 225,00
(indicativi € 259,60)
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
de Roever, Willem-Paul:
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods - copertina rigida, flessible

ISBN: 9780521806084

hardback, [PU: Cambridge University Press]

in stock. Costi di spedizione:Unknown. (EUR 0.00) Blackwells.co.uk
Chiudere (X)
5
Concurrency Verification - Collectif
Ordina
da Rakuten.fr
€ 160,00
Spedizione: € 4,991
Ordina
Dettagli del offerente
Link sponsorizzato
Collectif:
Concurrency Verification - libri usati

ISBN: 9780521806084

Livre, [PU: Cambridge University Press]

2 Offers. Costi di spedizione:France. (EUR 4.99) Priceminister
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
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Autore:
Titolo:
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.

Informazioni dettagliate 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2001
Editore: Cambridge University Press
798 Pagine
Peso: 1,161 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-06-05T20:26:25+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-29T05:12:30+01:00 (Zurich)
ISBN/EAN: 9780521806084

ISBN - Stili di scrittura alternativi:
0-521-80608-9, 978-0-521-80608-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore 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
Titolo del libro: introduction computer science, concurrency verification introduction compositional non compositional methods, katholieke universiteit nijmegen, tracts, composition non composition

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9780521169325 Concurrency Verification (de Roever Willem-Paul/ de Boer Frank/ Hanneman Ulrich)

< Per archiviare...