Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Verification of Sequential and Concurrent Programs

989 kr
Lägsta pris på PriceRunner

Förordsförfattare
Pnueli Amir
Upplaga
3
ISBN
9781447125136
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2012-03-14
Sidor
502