Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiInbunden, 20081 124 kr
Automatic Program DevelopmentAlberto Pettorossi, Harry Mairson, Fritz Henglein, Olivier Danvy E-bok20081 455 kr
Del 12597Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir VizelHäftad, 20211 015 kr
Verification, Model Checking, and Abstract InterpretationYakir Vizel, Sharon Shoham, Fritz Henglein E-bok20211 292 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiHäftad, 20101 124 kr
Automatic Program DevelopmentAlberto Pettorossi, Harry Mairson, Fritz Henglein, Olivier Danvy E-bok20081 455 kr
Del 12597Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir VizelHäftad, 20211 015 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiHäftad, 20101 124 kr
Verification, Model Checking, and Abstract InterpretationYakir Vizel, Sharon Shoham, Fritz Henglein E-bok20211 292 kr
Automatic Program DevelopmentOlivier Danvy, Fritz Henglein, Harry Mairson, Alberto PettorossiInbunden, 20081 124 kr