Filtre: Springer Nature Switzerland

Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Lecture Notes in Computer Science, nr. 13703

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 427^.95 lei 534^.94 lei

3-5 săpt. | 7-13 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 13704

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 392^.53 lei 490^.66 lei

3-5 săpt. | 7-13 zile

-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 | 7-13 zile

-20%

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%