01620nam2-2200421li-450 99000020660020331620180312154759.03-540-61317-X0020660USA010020660(ALEPH)000020660USA01002066020001109d1996----km-y0itay0103----baengGWReliable software technologies -Ada Europe'961996 Ada-Europe international conference on reliable software technologiesMontreux, Switzerland, June1996proceedingsAlfred Strohmeier (ed.)BerlinSpringer-Verlagcopyr. 1996XI, 511 p.ill.24 cmLecture notes in computer science108800100202642001Lecture notes in computer sciencecongressimontreux1996linguaggio adacongressi1996softwareprogettazionecongressi19960051Programmazione. Tecnica di sviluppo dei programmiStrohmeier,AlfredAda Europe international conference on reliable software technologiesMontreux1996753269Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206600203316001 LNCS (1088)001909100100103867BKSCI1996102520001110USA011714ALANDI9020010201USA01113320020403USA011628PATRY9020040406USA011615Reliable software technologies -Ada Europe'961515205UNISA