Lenore D. Zuck - Böcker

Visar alla böcker från författaren Lenore D. Zuck.
1 produkt
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Häftad, Engelska, 2002

739 kr

Skickas inom 7-10 vardagar