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