Bernd Finkbeiner - Böcker
Visar alla böcker från författaren Bernd Finkbeiner.
9 produkter
9 produkter
Häftad, Engelska, 2019
959 kr
Skickas inom 7-10 vardagar
Fields of Logic and Computation III
Av Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner, Patrick Cegielski
Häftad, Engelska, 2020
739 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2022
1 279 kr
Skickas inom 7-10 vardagar
Del 14570 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
Häftad, Engelska, 2024
619 kr
Skickas inom 7-10 vardagar
Del 14571 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
Häftad, Engelska, 2024
699 kr
Skickas inom 5-8 vardagar
Del 14572 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
Häftad, Engelska, 2024
699 kr
Skickas inom 5-8 vardagar
Fields of Logic and Computation II
Av Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Häftad, Engelska, 2015
719 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2015
739 kr
Skickas inom 7-10 vardagar
Runtime Verification
Av Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad, Engelska, 2010
739 kr
Skickas inom 7-10 vardagar