01946nam0 22004333i 450 AQ1001221020251003044042.00387975322New York3540975322Berlin20080401d1991 ||||0itac50 baengusz01i xxxe z01nVerification of sequential and concurrent programsKrysztof R. Apt, Ernst-Rudiger OlderogNew York [etc.]Springerc1991XVI, 441 p.25 cmTexts and monographs in computer science001AQ100003642001 Texts and monographs in computer scienceElaboratori elettroniciProgrammiVerificaFIRCFIC029938I005.1PROGRAMMAZIONE14005.1422VerificazioneProgrammi didatticiProgrammi scolasticiPiani di lavoroVerificaVerificazioneProgrammiProgrammi didatticiProgrammiProgrammi scolasticiProgrammiPiani di lavoroApt, Krzysztof R. <1949->UBOV042440070753382Olderog, Ernst-RudigerAQ1V006552070770277Apt, K. <Krzysztof>UBOV640919Apt, Krzysztof R. <1949->Apt, K. R. <Krzysztof R.>UBOV640920Apt, Krzysztof R. <1949->ITIT-00000020080401IT-BN0095 NAP 01SALA DING $AQ10012210Biblioteca Centralizzata di Ateneo1 v. in due copie 01SALA DING 005.1 APT.ve 0102 0000017955 VMA A4(bis 1 v. (2. copia)A 19950302199503021 v. in due copie 01SALA DING 005.1 APT.ve 0102 0000003515 VMA A4 1 v.Y 1993090119930901 01Verification of sequential and concurrent programs1571164UNISANNIO