01450nam0-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