wyszukanych pozycji: 2
![]() |
Model Checking Software: 32nd International Symposium, Spin 2026, Turin, Italy, April 15-16, 2026, Proceedings
ISBN: 9783032356376 / Angielski / Miękka / 29-10-2026 / 131 str. Książka dostępna od: 29-10-2026 |
|
Planowany termin premiery książki: 29-10-2026
Książkę można już zamówić z rabatem 5% |
|
247,40 |
![]() |
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
ISBN: 9783031676949 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
229,17 |