Ruzica Piskac – författare
Visar alla böcker från författaren Ruzica Piskac. Handla med fri frakt och snabb leverans.
8 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
569 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. …
Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Av Philipp Rummer, Ruzica Piskac
E-bok, 2018
755 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully …
Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Av Ruzica Piskac, Constantin Enea
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were …
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
457 kr
Lägg i varukorg
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed …
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
457 kr
Lägg i varukorg
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed …
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
457 kr
Lägg i varukorg
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed …
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
457 kr
Lägg i varukorg
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed …
