Results for "AT aldinialessandro formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT bernardomarco formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT pierroalessandra formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT wiklickyherbert formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT springerlinkonlineservice formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures"

Results for "AT aldinialessandro formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT bernardomarco formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT pierroalessandra formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT wiklickyherbert formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" OR "AT springerlinkonlineservice formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures" Showing 1 - 2 results of 2 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Versions?sort=last_indexed+desc%2Cyear&limit=50&lookfor=%22AT+aldinialessandro+formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures%22+OR+%22AT+bernardomarco+formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures%22+OR+%22AT+pierroalessandra+formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures%22+OR+%22AT+wiklickyherbert+formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures%22+OR+%22AT+springerlinkonlineservice+formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures%22&type=WorkKeys&lng=en 2 0 50 Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / Fri, 01 Jan 2010 14:58:50 +0200 https://find.library.upatras.gr/Record/978-3-642-13678-8 https://find.library.upatras.gr/Record/978-3-642-13678-8 Electronic eBook 2010 0 Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Fri, 01 Jan 2010 14:58:50 +0200 https://find.library.upatras.gr/Record/67504 https://find.library.upatras.gr/Record/67504 Aldini, Alessandro Electronic Kit Book 2010 Aldini, Alessandro 0