Filtre: Engleză Paperback

Cărți de Bernhard Steffen

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^.81 lei 667^.27 lei

3-5 săpt. | 7-13 zile

-20%

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. | 7-13 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. Rigorous Engineering of Collective Adaptive Systems

Editat de Tiziana Margaria et al.

27 oct 2024

Preț: 448^.52 lei 560^.65 lei

38-44 zile

-20%

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

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 444^.31 lei 555^.39 lei

38-44 zile

-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^.95 lei 534^.94 lei

3-5 săpt. | 7-13 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^.53 lei 490^.66 lei

3-5 săpt. | 7-13 zile

-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^.79 lei 489^.73 lei

17-23 zile | 7-13 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^.41 lei 486^.76 lei

3-5 săpt. | 7-13 zile

-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%

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Editat de Tiziana Margaria et al.

29 oct 2018

Preț: 336^.69 lei 420^.86 lei

6-8 săpt.

-20%

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

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 334^.21 lei 417^.76 lei

38-44 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Editat de Tiziana Margaria et al.

30 oct 2018

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

6-8 săpt.

-20%

SOFSEM 2017: Theory and Practice of 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. Distributed Systems

Editat de Tiziana Margaria et al.

31 oct 2018

Preț: 333^.22 lei 416^.53 lei

6-8 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. Verification

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 332^.01 lei 415^.02 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%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Bernhard Steffen

18 mar 1998

Preț: 330^.58 lei 413^.22 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%

Verification, Model Checking, and Abstract Interpretation

Editat de Bernhard Steffen et al.

7 ian 2004

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Services and Visualization: Towards User-Friendly Design

Editat de Tiziana Margaria et al.

18 mar 1998

Preț: 323^.41 lei 404^.26 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^.92 lei 401^.15 lei

3-5 săpt. | 7-13 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%

Leveraging Applications of Formal Methods, Verification and Validation

Editat de Tiziana Margaria et al.

11 sep 2012

Preț: 325^.25 lei 406^.57 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Communications in Computer and Information Science, nr. 336

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 318^.80 lei 398^.50 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%

Leveraging Applications of Formal Methods

Editat de Tiziana Maragria et al.

3 noi 2006

Preț: 316^.71 lei 395^.88 lei

6-8 săpt.

-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% Nou

Editat de Bernhard Steffen

2 oct 2025

Preț: 274^.16 lei 342^.70 lei

17-23 zile | 7-13 zile

-20%

Autor Bernhard Steffen et al.

7 oct 2020

Preț: 255^.49 lei 319^.36 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%

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Autor Bernhard Steffen et al.

3 apr 2018

Preț: 237^.56 lei 296^.95 lei

6-8 săpt.

-20%

Cărți de Bernhard Steffen

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. Specification and Verification

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. Rigorous Engineering of Collective Adaptive Systems

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

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

Formal Methods for Industrial Critical Systems

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. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

SOFSEM 2017: Theory and Practice of Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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. Verification

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Verification, Model Checking, and Abstract Interpretation

Services and Visualization: Towards User-Friendly Design

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

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

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Transactions on Foundations for Mastering Change I

Leveraging Applications of Formal Methods

Let's Talk AI

Bridging the Gap Between AI and Reality

Tools and Algorithms for the Construction and Analysis of Systems

Computing and Software Science: State of the Art and Perspectives

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Papetărie, jocuri, reviste

Cărți de Bernhard Steffen