F. Laroussinie - Böcker

Visar alla böcker från författaren F. Laroussinie.

2 produkter

Kategorier

2 produkter

Systems and Software Verification

Model-Checking Techniques and Tools

Av B. Berard, M. Bidoit m. fl

Inbunden, Engelska, 2001

1 959 kr

Skickas inom 10-15 vardagar

Systems and Software Verification

Model-Checking Techniques and Tools

Av B. Berard, M. Bidoit m. fl

Häftad, Engelska, 2010

2 249 kr

Skickas inom 10-15 vardagar