Bernhard K. Aichernig – författare

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

3 produkter

Kategorier

3 produkter

Del 9762
Del 9762 - Lecture Notes in Computer Science
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
AvBernhard K. Aichernig,Carlo A. Furia
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
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
AvBernhard K. Aichernig,Tom Maibaum
Häftad, Engelska, 2003
729 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
AvBernhard K. Aichernig,Frank S. de Boerm. fl.
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar