Formal Methods at the Crossroads. From Panacea to Foundational Support
Bernhard K. Aichernig, Tom Maibaum
Häftad, 2003
565 kr
Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
AvTom Maibaum,Bernhard K. Aichernig
E-bok
PDF, Engelska, 2011708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Soft
Bernhard K. Aichernig, Tom Maibaum
644 kr
Formal Methods for Components and Objects
Marcello M. Bonsangue, Frank S. de Boer, Bernhard K. Aichernig
E-bok
2011708 kr
Del 9762
On the Construction of Engineering Handbooks
Markus Roggenbach, Tom Maibaum, Apurva Kumar, Stefan Gruner
E-bok
2020687 kr
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
Häftad, 2011
565 kr
On the Construction of Engineering Handbooks
Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
Häftad, 2020
549 kr