01465nam2-2200397li-450 99000020502020331620180312154816.03-540-62790-10020502USA010020502(ALEPH)000020502USA01002050220001109d1997----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systems3rd International workshop, TACAS'97Enschede, The Netherlands, April 1997proceedingsEd Brinksma (ed.)Berlin [etc.]Springer-Verlagcopyr. 1997X, 431 p.ill.23 cmLecture notes in computer science121700100202642001Lecture notes in computer sciencecongressienschede1997elaboratori elettroniciprogrammazionecongressi199700512Svuluppo dei programmiBrinksma,EdInternational workshop TACAS'973.Enschese1997753654Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205020203316001 LNCS (1217)0020353BKSCI1997071120001110USA01171420020403USA011628PATRY9020040406USA011615Tools and algorithms for the construction and analysis of systems1516193UNISA00801cam0 2200253 450 E60020007143120210909085248.0881502051920110210d1989 |||||ita|0103 baitaIT<<I >>romanzi di FlaubertStudio di temi e tecnicheVictor BrombertBolognaIl Mulino1989306 p.21 cmBrombert, VictorA600200028950070143776ITUNISOB20210909RICAUNISOBUNISOB84055663E600200071431M 102 Monografia moderna SBNM840000859Si55663AcquistovittoriniUNISOBUNISOB20110210085513.020151022120409.0AlfanoRomanzi di Flaubert167258UNISOB