Filtre: Bernhard Steffen Springer International Publishing

Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation

Lecture Notes in Computer Science

Editat de Tiziana Margaria et al.

11 sep 2012

Preț: 338^.33 lei 422^.91 lei

6-8 săpt.

-20%

Transactions on Foundations for Mastering Change I

Lecture Notes in Computer Science, nr. 9960

Editat de Bernhard Steffen

30 sep 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Computing and Software Science: State of the Art and Perspectives

Lecture Notes in Computer Science, nr. 10000

Editat de Bernhard Steffen et al.

5 oct 2019

Preț: 209^.90 lei 262^.38 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11429

Editat de Dirk Beyer et al.

4 apr 2019

Preț: 320^.68 lei 400^.85 lei

3-5 săpt. | 4-10 zile

-20%

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 389^.11 lei 486^.39 lei

3-5 săpt. | 4-10 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13701

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 533^.40 lei 666^.75 lei

3-5 săpt. | 4-10 zile

-20%

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science, nr. 16220

Editat de Bernhard Steffen

11 oct 2025

Preț: 288^.44 lei 360^.55 lei

6-8 săpt.

-20%