Filtre: Engleză Paperback Tipărit la comandă

Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13036

Editat de Tiziana Margaria et al.

12 oct 2021

Preț: 466^.93 lei 583^.67 lei

6-8 săpt.

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

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%

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%

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%

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%

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%

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%

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

Lecture Notes in Computer Science

Editat de Tiziana Margaria et al.

27 oct 2024

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

38-44 zile

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

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%

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%

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

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

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 332^.01 lei 415^.02 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Bernhard Steffen

30 dec 2024

Preț: 483^.35 lei 604^.18 lei

38-44 zile

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

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^.31 lei 555^.39 lei

38-44 zile

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

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

Lecture Notes in Computer Science

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

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

Editat de Tiziana Margaria et al.

29 oct 2018

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

6-8 săpt.

-20%

Autor Bernhard Steffen et al.

7 oct 2020

Preț: 323^.81 lei 404^.76 lei

6-8 săpt.

-20%

Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

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

Correct System Design: Recent Insights and Advances

Verification, Model Checking, and Abstract Interpretation

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

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

Leveraging Applications of Formal Methods

Tools and Algorithms for the Construction and Analysis of Systems

Services and Visualization: Towards User-Friendly Design

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

Transactions on Foundations for Mastering Change I

SOFSEM 2017: Theory and Practice of Computer Science

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Let's Talk AI

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

Bridging the Gap Between AI and Reality

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

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

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

Computing and Software Science: State of the Art and Perspectives

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tools and Algorithms for the Construction and Analysis of Systems

Papetărie, jocuri, reviste

Cărți de Bernhard Steffen