Deze titel kan niet worden besteld.
Deze titel kan nu niet besteld worden. Probeer het later opnieuw
Deze titel kan nu niet besteld worden. Probeer het later opnieuw
Apt, Krzysztof R and Ernst-Rüdiger Olderog - Verification of s
| Schrijver: | Apt, Krzysztof R and Ernst-Rüdiger Olderog |
|---|---|
| Titel: | Verification of sequential and concurrent programs |
| Uitgever: | Springer 1997 cltoh |
| Bijzonderheden: | 2nd edition, 364 pp. ISBN (9780387948966) |
| Prijs: | € 40,00 |
| Verzendkosten: | € 4,50 (binnen Nederland) |
LET OP. Wij nemen uw bestelling zo snel mogelijk in behandeling. Zondag en maandag zijn wij (ook digitaal) gesloten. Boeken kunnen op afspraak in de winkel worden opgehaald. We moeten dan wel even de tijd hebben gehad om ze in het magazijn op te zoeken...
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.