Filtre: Bernhard Steffen Springer Nature Switzerland

Lecture Notes in Computer Science

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%

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^.62 lei 534^.52 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^.22 lei 490^.28 lei

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

-20%

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science, nr. 16220

Editat de Bernhard Steffen

11 oct 2025

Preț: 288^.44 lei 360^.55 lei

6-8 săpt.

-20%