Filtre: Bernhard Steffen

Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Editat de Tiziana Margaria et al.

30 oct 2024

Preț: 464^.00 lei 580^.00 lei

6-8 săpt. | 4-10 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science

Editat de Tiziana Margaria et al.

27 oct 2024

Preț: 448^.21 lei 560^.26 lei

38-44 zile

-20%

SOFSEM 2017: Theory and Practice of Computer Science

Lecture Notes in Computer Science

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 333^.61 lei 417^.02 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 333^.97 lei 417^.46 lei

38-44 zile

-20%

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%

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 444^.00 lei 555^.00 lei

38-44 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1019

Editat de Ed Brinksma et al.

23 noi 1995

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Lecture Notes in Computer Science, nr. 1055

Editat de Tiziana Margaria et al.

20 mar 1996

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Correct System Design: Recent Insights and Advances

Lecture Notes in Computer Science, nr. 1710

Editat de Ernst-Rüdiger Olderog et al.

22 sep 1999

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Lecture Notes in Computer Science, nr. 6416

Editat de Tiziana Margaria et al.

19 oct 2010

Preț: 330^.98 lei 413^.73 lei

3-5 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8802

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Lecture Notes in Computer Science, nr. 8803

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 337^.18 lei 421^.48 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^.71 lei 400^.89 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^.13 lei 486^.41 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^.44 lei 666^.81 lei

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

-20%

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

Lecture Notes in Computer Science, nr. 13702

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 463^.44 lei 579^.30 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 13703

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 427^.64 lei 534^.55 lei

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

-20%

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

Lecture Notes in Computer Science, nr. 13704

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 392^.24 lei 490^.30 lei

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

-20%

Lecture Notes in Computer Science, nr. 15000

Editat de Barbara Steffen et al.

28 noi 2025

Preț: 294^.32 lei 367^.90 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 16040

Editat de Anne Remke et al.

28 sep 2025

Preț: 391^.53 lei 489^.41 lei

17-23 zile | 4-10 zile

-20%

Lecture Notes in Computer Science, nr. 16220

Editat de Bernhard Steffen

11 oct 2025

Preț: 289^.37 lei 361^.70 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

SOFSEM 2017: Theory and Practice of Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Correct System Design: Recent Insights and Advances

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Transactions on Foundations for Mastering Change I

Computing and Software Science: State of the Art and Perspectives

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

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

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

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

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

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

Let's Talk AI

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

Papetărie, jocuri, reviste

Lecture Notes in Computer Science