Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiInbunden1 096 kr
Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir VizelHäftad987 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiHäftad1 096 kr
Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir VizelHäftad987 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiHäftad1 096 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiInbunden1 096 kr