Boekstra.nl - Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany), Boer, Frank de (Universiteit Utrecht, The Netherlands), Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands)

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Omschrijving

This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

In de winkelwagen Bestel vandaag,
ontvang het met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen 14 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, Germany), Boer, Frank de (Universiteit Utrecht, The Netherlands), Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands)
Titel: Concurrency Verification
Uitgever: Cambridge University Press

Jaar: 2012
Taal: Engels
Pagina's: 800
Gewicht: 1080 gr

EAN: 9780521169325
Afmetingen: 229 x 152 x 44 mm
Bindwijze: Paperback

U ontvangt bij ons altijd de laatste druk!

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Omschrijving

Rubrieken

Rubrieken