wyszukanych pozycji: 5
![]() |
Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
ISBN: 9783030035914 / Angielski / Miękka / 2018 / 345 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,72 |
![]() |
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part I
ISBN: 9783031986673 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
161,36 |
![]() |
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part IV
ISBN: 9783031986840 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
161,36 |
![]() |
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part III
ISBN: 9783031986819 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
161,36 |
![]() |
Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 21-25, 2025, Proceedings, Part II
ISBN: 9783031986789 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
161,36 |