Ruzica Piskac – författare
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, 2018
739 kr
Lägg i varukorg
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, 2019
739 kr
Lägg i varukorg
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Av Ruzica Piskac, Zvonimir Rakamarić
Häftad, 2025
589 kr
Lägg i varukorg
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Av Ruzica Piskac, Zvonimir Rakamarić
Häftad, 2025
589 kr
Lägg i varukorg
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Av Ruzica Piskac, Zvonimir Rakamarić
Häftad, 2025
589 kr
Lägg i varukorg
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Av Ruzica Piskac, Zvonimir Rakamarić
Häftad, 2025
589 kr
Lägg i varukorg