Formal Methods at the Crossroads. From Panacea to Foundational Support
Bernhard K. Aichernig, Tom Maibaum
Häftad, 2003
561 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
644 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, 2011
561 kr
On the Construction of Engineering Handbooks
Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
Häftad, 2020
544 kr
- -19%
- -30%
- Nyhet
Del 2