Zvonimir Rakamarić - Böcker

Visar alla böcker från författaren Zvonimir Rakamarić.

4 produkter

Kategorier

4 produkter

Computer Aided Verification

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

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Ruzica Piskac, Zvonimir Rakamarić m. fl

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar