Formal Methods at the Crossroads. From Panacea to Foundational Support
Tom Maibaum, Bernhard K. Aichernig
E-bok
2011734 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
667 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Formal Methods at the Crossroads. From Panacea to Foundational Support
Bernhard K. Aichernig, Tom Maibaum
Häftad, 2003
561 kr
Formal Methods for Components and Objects
Marcello M. Bonsangue, Frank S. de Boer, Bernhard K. Aichernig
E-bok
2011734 kr
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
545 kr