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