Hoppa till sidans huvudinnehåll

Ruzica Piskac - Böcker

Visar alla böcker från författaren Ruzica Piskac.
6 produkter

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Av Ruzica Piskac, Philipp Rümmer

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Av Constantin Enea, Ruzica Piskac

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar