Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Concurrency Verification
- Introduction to Compositional and Non-compositional Methods
Engelsk
Bogcover for Concurrency Verification af Job Zwiers, Willem-Paul de Roever, Ulrich Hanneman, Yassine Lakhnech, Jozef Hooman, Mannes Poel, Frank de Boer, 9780521169325
Specifikationer
Sprog:
Engelsk
Sider:
800
ISBN-13:
9780521169325
Indbinding:
Paperback
ISBN-10:
0521169321
Udg. Dato:
26 jan 2012
Størrelse i cm:
22,8 x 15,4 x 4,2
Oplagsdato:
26 jan 2012

Concurrency Verification

- Introduction to Compositional and Non-compositional Methods
Engelsk
Paperback 2012
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
873,88 kr
Hos Booktok
741 kr
spar 15%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
800
ISBN-13:
9780521169325
Indbinding:
Paperback
ISBN-10:
0521169321
Udg. Dato:
26 jan 2012
Størrelse i cm:
22,8 x 15,4 x 4,2
Oplagsdato:
26 jan 2012
Finder produkter...
Kategori sammenhænge