Filtre: Springer International Publishing AG

Cărți de Bernhard Steffen

Formal Methods for Industrial Critical Systems

Editat de Anne Remke et al.

28 aug 2025

Preț: 391^.77 lei 489^.72 lei

17-23 zile | 10-14 zile

-20%

Editat de Bernhard Steffen

2 oct 2025

Preț: 273^.94 lei 342^.42 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ț: 333^.95 lei 417^.44 lei

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

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

-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^.51 lei 560^.64 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ț: 443^.97 lei 554^.96 lei

38-44 zile

-20%

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

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%

Cărți de Bernhard Steffen

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

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

Let's Talk AI

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

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

SOFSEM 2017: Theory and Practice of Computer Science

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste