wyszukanych pozycji: 2
![]() |
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings
ISBN: 9783032048479 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
232,90 |
![]() |
NASA Formal Methods: 17th International Symposium, Nfm 2025, Hampton Roads, Va, Usa, June 11-13, 2025, Proceedings
ISBN: 9783031937057 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
522,07 |