Formal Methods at the Crossroads. From Panacea to Foundational Support
Bernhard K. Aichernig, Tom Maibaum
Häftad
551 kr
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft
AvBernhard K. Aichernig,Tom Maibaum
Engelska, 2014
650 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 9762
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
Häftad
551 kr
On the Construction of Engineering Handbooks
Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
Häftad
535 kr
- -30%
- 10% rabatt på allt
Tsaren i egen hög person : hur Vladimir Putin lurade oss alla
Roman Badanin, Michail Rubin
Inbunden
349 kr
- -22%
Del 3