Hoppa till sidans huvudinnehåll

Bernhard K. Aichernig – författare

Visar alla böcker från författaren Bernhard K. Aichernig.
3 produkter
Bernhard K. Aichernig, Carlo A. Furia - Tests and Proofs, Häftad
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

Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support, Häftad

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

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects, Häftad

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