Ruzica Piskac – författare

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

6 produkter

Kategorier

6 produkter

Del 11294
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
739 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
739 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ć
Häftad, Engelska, 2025
589 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ć
Häftad, Engelska, 2025
589 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ć
Häftad, Engelska, 2025
589 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ć
Häftad, Engelska, 2025
589 kr
Skickas inom 10-15 vardagar