Philipp Rümmer – författare
Visar alla böcker från författaren Philipp Rümmer. Handla med fri frakt och snabb leverans.
7 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 …
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
Häftad, 2025
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers …
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
E-bok, 2025
1056 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
