01048nam0-2200337li-450 99000017006020331620180312154803.00-387-97254-40017006USA010017006(ALEPH)000017006USA01001700620001109d1990----km-y0itay0103----baengUSProgramming with specificationsan introduction to ANNA, a language for specifying ADA programsDavid LuckhamNew York [etc.]Springer-Verlag,copyr. 1990XVI, 416 p.ill.24 cmlinguaggio annaLuckham,David632479Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000170060203316005.133 LUC000175OBKTEC1993011420001110USA01171220020403USA011624PATRY9020040406USA011612Programming with specifications1501606UNISA