01301nam0 22003253i 450 AQ1001220920250314062208.00387972544New York3540972544Berlin20080319d1990 ||||0itac50 baengusz01i xxxe z01nProgramming with specificationsan introduction to ANNA, a language for specifying Ada programsDavid LuckhamNew York [etc.]Springerc1990XVI, 416 p.25 cmTexts and monographs in computer science001AQ100003642001 Texts and monographs in computer scienceElaboratori elettroniciProgrammazioneLinguaggio ANNAFIRNAPC226122I005.13LINGUAGGI DI PROGRAMMAZIONE14005.133SPECIFICI LINGUAGGI DI PROGRAMMAZIONE22Luckham, DavidAQ1V006550070632479ITIT-NA007920080319IT-BN0095 AQ10012209Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 LUC.pr 0102 0000009575 B A4 1 v.3 1994042919940429 01Programming with specifications1501606UNISANNIO