Hoppa till sidans huvudinnehåll

Alexander Knapp - Böcker

Visar alla böcker från författaren Alexander Knapp.
6 produkter

Ernest Bloch Studies

Av Alexander Knapp, Norman Solomon m. fl

Inbunden, Engelska, 2017

1 889 kr

Skickas inom 11-20 vardagar

Ernest Bloch Studies

Av Alexander Knapp, Norman Solomon m. fl

Häftad, Engelska, 2020

569 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Av Alexandre Madeira, Alexander Knapp

Häftad, Engelska, 2024

1 189 kr

Skickas inom 10-15 vardagar

Go Where the Bugs Are

Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

Av Gidon Ernst, Matthias Güdemann m. fl

Häftad, Engelska, 2025

1 129 kr

Skickas inom 10-15 vardagar

Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Av Maurice H. ter Beek, Stefania Gnesi m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Av Martin Wirsing, Alexander Knapp m. fl

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar