01065nam0-22003251i-450-99000051525040332120080905101559.00-07-707735-0000051525FED01000051525(Aleph)000051525FED0100005152520020821d1994----km-y0itay50------baenga-------001yy<<The >>construction of formal specificationsan introduction to the model-based and algebraic approachesJ. G. Turner, T. L. McCluskeyLondonMcGraw-Hill©1994XII, 420 p.ill.24 cmMcGraw-Hill International Series in Software EngineeringIngegneria del software005.1'2Turner,John G.<1946- >27471McCluskey,T. Lee<1957- >340404ITUNINARICAUNIMARCBK99000051525040332110 P.T. 692dis 3493DINELDINELConstruction of formal specifications331161UNINA01478nam0 22003131i 450 UON0016869120231205103043.30188-85077-11-020030418d1990 |0itac50 baitaIT|||| |||||11. Convegno Nazionale sulla Preistoria - Protostoria - Storia della DauniaSan Severo, 2-3 dicembre 1989Attia cura di Armando GravinaSan Severo : Gerni1990358 p.ill ; 25 cmIn testa al frontespizio: Archeoclub d'Italia, Sede San Severo001UON003704602001 Atti dell'undicesimo convegno nazionale sulla preistoria - protostoria - storiadella DauniaDAUNIAStoria anticaCongressiUONC034003FISan SeveroUONL002545937ARCHEOLOGIA / STORIA DELL'ITALIA - fino al 47621GRAVINAArmandoUONV097337Convegno sulla Preistoria-Protostoria-Storia della Daunia11.1989San SeveroUONV098369307760GerniUONV260376650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00168691SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI O 1 172 011 SI MC 26635 7 11. Convegno Nazionale sulla Preistoria - Protostoria - Storia della Daunia1282073UNIOR