00948cam0 2200277 450 E60020002175920210520073512.020061018d1982 |||||ita|0103 baitaITCome classificare gli alunniRaymond Buysepres. Mauro LaengTeramoGiunti & Lisciani198264 p.ill.21 cmEducazione nuova001LAEC000216602001 *Educazione nuovaBuyse, RaymondA600200038431070533141Laeng, MauroA600200038061070ITUNISOB20210520RICAUNISOBUNISOB370|Coll|22|K52094E600200021759M 102 Monografia moderna SBNM370|Coll|22|K000042Si52094acquistopregresso1UNISOBUNISOB20061018085552.020190625101845.0SpinosaCome classificare gli alunni913565UNISOB01339nam0 22003373i 450 AQ1001220920251003044042.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-00000020080319IT-BN0095 NAP 01SALA DING $AQ10012209Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 LUC.pr 0102 0000009575 VMA A4 1 v.Y 1994042919940429 01Programming with specifications1501606UNISANNIO