Övrigt, Engelska, 2012
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Ernst-Rüdiger Olderog
686 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2012-12-05
- Format: Övrigt
- Språk: Engelska
- Antal sidor: 388
- Förlag: Springer
- ISBN: 9781475727159
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.