Ruzica Piskac - Böcker

Visar alla böcker från författaren Ruzica Piskac.
6 produkter
Ruzica Piskac, Philipp Rümmer - Verified Software. Theories, Tools, and Experiments, Häftad

Verified Software. Theories, Tools, and Experiments

Av Ruzica Piskac, Philipp Rümmer

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Constantin Enea, Ruzica Piskac - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Constantin Enea, Ruzica Piskac

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿ - Computer Aided Verification, Häftad

Computer Aided Verification

Av Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿ - Computer Aided Verification, Häftad

Computer Aided Verification

Av Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿ - Computer Aided Verification, Häftad

Computer Aided Verification

Av Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿ - Computer Aided Verification, Häftad

Computer Aided Verification

Av Ruzica Piskac, Zvonimir Rakamarić, Zvonimir Rakamaric, Zvonimir Rakamari¿

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar