01341nam2-2200397li-450 99000021152020331620180312154830.03-540-58867-10021152USA010021152(ALEPH)000021152USA01002115220001109d1995----km-y0itay0103----baengGWFormal development of reactive systemscase study production cellClaus Lewerentz, Thomas Lindner (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995XI, 394 p.ill.25 cmLecture notes in computer science89100100202642001Lecture notes in computer sciencesoftwaresviluppo0051Programmazione. Tecnica di sviluppo dei programmiLewerentz,ClausLindner,ThomasSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211520203316001 LNCS (891)001742100100103684BKSCI1996011220001110USA011714ALANDI9020010131USA01103420020403USA011629PATRY9020040406USA011615Formal development of reactive systems1502003UNISA