Filtre: Bernhard Steffen Springer

Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Lecture Notes in Computer Science, nr. 12478

Editat de Tiziana Margaria et al.

27 oct 2020

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 15000

Editat de Barbara Steffen et al.

28 oct 2025

Preț: 346^.66 lei

6-8 săpt.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science, nr. 15219

Editat de Tiziana Margaria et al.

9 oct 2024

Preț: 540^.45 lei 675^.56 lei

38-44 zile

-20%

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

Lecture Notes in Computer Science, nr. 15220

Editat de Tiziana Margaria et al.

27 oct 2024

Preț: 503^.70 lei 629^.63 lei

38-44 zile

-20%

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

Lecture Notes in Computer Science, nr. 15221

Editat de Tiziana Margaria et al.

30 oct 2024

Preț: 465^.30 lei 581^.63 lei

3-5 săpt. | 10-14 zile

-20%

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

Lecture Notes in Computer Science, nr. 15222

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 444^.47 lei 555^.59 lei

38-44 zile

-20%

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

Lecture Notes in Computer Science, nr. 15223

Editat de Tiziana Margaria et al.

26 oct 2024

Preț: 334^.32 lei 417^.90 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 15230

Editat de Susanne Graf et al.

5 oct 2024

Preț: 360^.35 lei 450^.44 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 16032

Editat de Bernhard Steffen

2 oct 2025

Preț: 274^.33 lei 342^.90 lei

38-44 zile

-20%

Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Let's Talk AI

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

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. Software Engineering Methodologies

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

Real Time and Such

Bridging the Gap Between AI and Reality

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