Hoppa till sidans huvudinnehåll

Ruzica Piskac – författare

Visar alla böcker från författaren Ruzica Piskac.
6 produkter
Ruzica Piskac, Philipp Rümmer - Verified Software. Theories, Tools, and Experiments, Häftad
Del 11294 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Constantin Enea, Ruzica Piskac - Verification, Model Checking, and Abstract Interpretation, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Ruzica Piskac, Zvonimir Rakamarić - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić

Häftad, Engelska, 2025

589 kr

Skickas inom 10-15 vardagar

Ruzica Piskac, Zvonimir Rakamarić - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić

Häftad, Engelska, 2025

589 kr

Skickas inom 10-15 vardagar

Ruzica Piskac, Zvonimir Rakamarić - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić

Häftad, Engelska, 2025

589 kr

Skickas inom 10-15 vardagar

Ruzica Piskac, Zvonimir Rakamarić - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvRuzica Piskac,Zvonimir Rakamarić

Häftad, Engelska, 2025

589 kr

Skickas inom 10-15 vardagar