01309nam2-2200385li-450 99000022813020331620180312154726.00-13-726233-70022813USA010022813(ALEPH)000022813USA01002281320001109d1990----km-y0itay0103----baengUSProgramming from specificationsCarrol MorganNew York [etc.]Prentice Hallcopyr. 1990XI, 255 p.ill.23 cmPrentice Hall international seriesin computer science000100228042001Prentice Hall international seriesin computer scienceelaboratori elettroniciprogrammazione0051Programmazione. Tecnica di sviluppo dei programmiMorgan,Carroll746683Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000228130203316001.6 SCS (16)0015264001.600105309BKSCI1993111520001110USA011714ALANDI9020010219USA01160320020403USA011631PATRY9020040406USA011616Programming from specifications1490780UNISA