Bernhard K. Aichernig - Böcker

Visar alla böcker från författaren Bernhard K. Aichernig.
3 produkter
Bernhard K. Aichernig, Carlo A. Furia - Tests and Proofs, Häftad

Tests and Proofs

Av Bernhard K. Aichernig, Carlo A. Furia

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Bernhard K. Aichernig, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support, Häftad
Del 2757 - Lecture Notes in Computer Science

Formal Methods at the Crossroads. From Panacea to Foundational Support

Av Bernhard K. Aichernig, Tom Maibaum

Häftad, Engelska, 2003

739 kr

Skickas inom 7-10 vardagar
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Av Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar