Alexander Knapp – författare
Visar alla böcker från författaren Alexander Knapp. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
609 kr
Skickas inom 7-10 vardagar
Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Häftad, Engelska, 2024
1 009 kr
Skickas inom 5-8 vardagar
Del 15765 - Lecture Notes in Computer Science
Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Häftad, Engelska, 2025
1 059 kr
Skickas inom 10-15 vardagar
Del 9933 - Lecture Notes in Computer Science
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
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
Häftad, Engelska, 2004
729 kr
Skickas inom 10-15 vardagar
1 799 kr
Tillfälligt slut