Programming and Software Engineering

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11460

Editat de Julia M. Badger et al.

28 mai 2019

Preț: 434^.83 lei 543^.54 lei

6-8 săpt.

-20%

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12546

Editat de Brijesh Dongol et al.

14 noi 2020

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12611

Editat de Juliana Bowles et al.

5 mar 2021

Preț: 371^.74 lei 464^.68 lei

6-8 săpt.

-20%

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12974

Editat de Lu Feng et al.

6 oct 2021

Preț: 486^.04 lei 607^.55 lei

6-8 săpt.

-20%

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 699^.94 lei 874^.94 lei

6-8 săpt.

-20%