01166nam0-2200361li-450 99000015845020331620180312154642.00-12-427620-20015845USA010015845(ALEPH)000015845USA01001584520001109d1991----km-y0itay0103----baengGB<<An>> introduction to programming with specificationsa mathematical approachRyszard Kubiak, Roman Rudzinski, Stefan SokolowskiLondon [etc.]Academic Presscopyr. 1991IX, 267 p.ill.23 cmelaborazione elettronica dei datiKubiak,Ryszard721415Rudzinski,RomanSokolowski,StefanSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000158450203316004 KUB0001987BKTEC1992120320001110USA01171220020403USA011623PATRY9020040406USA011612Introduction to programming with specifications1488542UNISA