Cărți de Bernd Finkbeiner

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 lei

3-5 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 13182

Editat de Bernd Finkbeiner et al.

14 ian 2022

Preț: 576^.94 lei 721^.18 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Bernd Finkbeiner et al.

5 apr 2024

Preț: 299^.36 lei 374^.19 lei

6-8 săpt.

-20%

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 lei

6-8 săpt.

-20%

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Runtime Verification

Lecture Notes in Computer Science

Editat de Bernd Finkbeiner et al.

4 oct 2019

Preț: 409^.52 lei 511^.91 lei

6-8 săpt.

-20%