wyszukanych pozycji: 7
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed
ISBN: 9783319737201 / Angielski / Miękka / 2018 / 540 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,74 zł |
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II
ISBN: 9783030255428 / Angielski / Miękka / 2019 / 549 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,74 zł |
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I
ISBN: 9783030255398 / Angielski / Miękka / 2019 / 673 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,74 zł |
Computer Aided Verification
ISBN: 9781013271144 / Angielski / Miękka / 2020 / 558 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
300,33 zł |
Computer Aided Verification
ISBN: 9781013271168 / Angielski / Miękka / 2020 / 680 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
324,96 zł |
Computer Aided Verification
ISBN: 9781013271151 / Angielski / Twarda / 2020 / 558 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
359,46 zł |
Computer Aided Verification
ISBN: 9781013271175 / Angielski / Twarda / 2020 / 680 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
379,17 zł |