Bernd Finkbeiner

Articles populaires de Bernd Finkbeiner

Afficher toutes les offres

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... April 6–11, 2024, Proceedings, Part II

Prix des articles � partir de

EUR 38,22

Afficher les 10�offres

Rechercher �galement
Neuf, Ancien ou d'occasion
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint ... April 6-11, 2024, Proceedings, Part III

Prix des articles � partir de

EUR 38,22

Afficher les 14�offres

Rechercher �galement
Neuf, Ancien ou d'occasion
Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Fr�nzle on the Occasion of His 60th Birthday

Prix des articles � partir de

EUR 87,73

Afficher les 8�offres

Rechercher �galement
Neuf
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Prix des articles � partir de

EUR 78,24

Afficher les 14�offres

Rechercher �galement
Neuf, Ancien ou d'occasion