Patrice Godefroid - Böcker

Visar alla böcker från författaren Patrice Godefroid.
1 produkt
Patrice Godefroid - Partial-Order Methods for the Verification of Concurrent Systems, Häftad
Del 1032 - Lecture Notes in Computer Science

Partial-Order Methods for the Verification of Concurrent Systems

Av Patrice Godefroid

Häftad, Engelska, 1996

739 kr

Skickas inom 10-15 vardagar