Filtre: Springer

Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Theoretical Computer Science and General Issues

Editat de Tiziana Margaria et al.

5 aug 2021

Preț: 320^.16 lei 400^.20 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%

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

Editat de Tiziana Maragria et al.

3 noi 2006

Preț: 316^.71 lei 395^.88 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. | 10-14 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^.52 lei 560^.65 lei

38-44 zile

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

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%

Bridging the Gap Between AI and Reality

Editat de Bernhard Steffen

2 oct 2025

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

17-23 zile | 10-14 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. 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%

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

Editat de Tiziana Margaria et al.

29 oct 2018

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

6-8 săpt.

-20%