Finkbeiner, Bernd books & textbook
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun
Springer /2015-11-22 Paperback / 533 Pages
isbn-10: 3319249525 / isbn-13: 9783319249520
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Programming and Software Engineering)
Blass, Andreas Cégielski, Patrick Dershowitz, Nachum Droste, Manfred Finkbeiner, Bernd
Springer /2020-05-23 Paperback / 352 Pages
isbn-10: 3030480054 / isbn-13: 9783030480059
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering)
Finkbeiner, Bernd Mariani, Leonardo
Springer /2019-10-04 Paperback / 424 Pages
isbn-10: 3030320782 / isbn-13: 9783030320782
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
Beklemishev, Lev D. Blass, Andreas Dershowitz, Nachum Finkbeiner, Bernd Schulte, Wolfram
Springer /2015-08-27 Paperback / 329 Pages
isbn-10: 3319235338 / isbn-13: 9783319235332
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)
Finkbeiner, Bernd Kovács, Laura
Springer /2024-04-05 Paperback / 450 Pages
isbn-10: 3031572556 / isbn-13: 9783031572555
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)
Finkbeiner, Bernd Kovács, Laura
Springer /2024-04-04 Paperback / 422 Pages
isbn-10: 3031572459 / isbn-13: 9783031572456
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues)
Finkbeiner, Bernd Wies, Thomas
Springer /2022-01-14 Paperback / 532 Pages
isbn-10: 3030945820 / isbn-13: 9783030945824
