Filtre: Springer International Publishing AG

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%

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

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

Editat de Tiziana Margaria et al.

30 oct 2018

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

6-8 săpt.

-20%

Editat de Bernhard Steffen

2 oct 2025

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

17-23 zile | 7-11 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%

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

Editat de Tiziana Margaria et al.

29 oct 2018

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

6-8 săpt.

-20%

Cărți de Bernhard Steffen

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

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

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

Formal Methods for Industrial Critical Systems

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

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Bridging the Gap Between AI and Reality

Let's Talk AI

SOFSEM 2017: Theory and Practice of Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Papetărie, jocuri, reviste

Cărți de Bernhard Steffen