wyszukanych pozycji: 7
![]() |
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. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,24 |
![]() |
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. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,24 |
![]() |
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. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
201,24 |
![]() |
Computer Aided Verification
ISBN: 9781013271144 / Angielski / Miękka / 2020 / 558 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
259,48 |
![]() |
Computer Aided Verification
ISBN: 9781013271175 / Angielski / Twarda / 2020 / 680 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
327,59 |
![]() |
Computer Aided Verification
ISBN: 9781013271168 / Angielski / Miękka / 2020 / 680 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
280,76 |
![]() |
Computer Aided Verification
ISBN: 9781013271151 / Angielski / Twarda / 2020 / 558 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
310,56 |