wyszukanych pozycji: 4
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
ISBN: 9783032227515 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
161,36 |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Tacas 2026, Held as Part of the International Joint
ISBN: 9783032227485 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
161,36 |
![]() |
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ISBN: 9783031757747 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
302,60 |
![]() |
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ISBN: 9783031757822 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
322,77 |