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

AvRuzica Piskac,Philipp Rümmer

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

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

AvConstantin Enea,Ruzica Piskac

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić m. fl.

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić m. fl.

Häftad, Engelska, 2025

569 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić m. fl.

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić m. fl.

Häftad, Engelska, 2025

669 kr

Skickas inom 10-15 vardagar