00947nam1-2200349---450-9900007462602033160074620USA010074620(ALEPH)000074626USA01007462020011115d19..----km-y0itay0103----baitaIT||||||||001yyLetteratura italianaNovecentocollana diretta da Gianni Grana2 ed.Settimo MilaneseMarzorati19..v.21 cm2001Letteratura italianasec. 20.850.90091GRANA,GianniITsalbcISBD990000746260203316850.9 LETLM850.9 LETBKUMAPATTY9020011115USA01151020020403USA011722PATRY9020040406USA011651Letteratura italiana73616UNISA01450nam0-2200445li-450-9900002706302033160-387-94896-10027063USA010027063(ALEPH)000027063USA01002706320001109d1991997-km-y0itay0103----baengGWVerification of sequential and concurrent programsKrzysztof R. Apt, Ernst-Rudiger Olderog2nd edBerlinoSpringer-Verlagcopyr. 1997XVII, 364 p.ill.23 cm. -Graduate texts in computer science2001Graduate texts in computer scienceElaboratori elettroniciProgrammazionesoftwareVverifica0051Apt,Krzysztof R.753382Olderog,Ernst-RudigerSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000270630203316005.1 APT0021180005.100106364005.14 APT10552 ING005.14BKSCITEC1998012720001110USA011716ALANDI9020010316USA011556PATTY9020010427USA01170720020403USA011635PATRY9020040406USA011619Verification of sequential and concurrent programs1515518UNISA