01608nam2-2200421li-450 99000020605020331620180312154625.03-540-63114-30020605USA010020605(ALEPH)000020605USA01002060520001109d1997----km-y0itay0103----baengGWReliable software technologies-Ada-Europe '971997 Ada-Europe international conference on reliable software technologiesLondon, UK, June 2-6, 1997proceedingsKeith Hardy ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1997VI, 291 p.ill.23 cmLecture notes in computer science125100100202642001Lecture notes in computer sciencecongressilondra1997linguaggio adacongressi1997softwaresviluppocongressi19970051Programmazione. Tecnica di sviluppo dei programmiHardy,KeithAda-Europe international conference on reliable software technologiesLondon1997745719Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206050203316001 LNCS (1251)002038600100104013BKSCI1997111620001110USA011714ALANDI9020010202USA01133520020403USA011628PATRY9020040406USA011615Reliable software technologies-Ada-Europe '971487577UNISA