1369:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Inbunden 4509:-

800 sidor
2012

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.

Författare: Willem-Paul De Roever, Frank De Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
Format: Pocket/Paperback
ISBN: 9780521169325
Språk: Engelska
Antal sidor: 800
Utgivningsdatum: 2012-01-26
Förlag: Cambridge University Press