Bernhard K. Aichernig – författare

Visar alla böcker från författaren Bernhard K. Aichernig.

3 produkter

1. 

   Tests and Proofs

   10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

   Av Bernhard K. Aichernig, Carlo A. Furia

   Häftad, 2016

   739 kr

   Lägg i varukorg

2. 

   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

   Av Bernhard K. Aichernig, Tom Maibaum

   Häftad, 2003

   739 kr

   Lägg i varukorg

3. 

   Formal Methods for Components and Objects

   9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

   Av Bernhard K. Aichernig, Frank S. de Boer m. fl.

   Häftad, 2011

   739 kr

   Lägg i varukorg