Αποτελέσματα για "unifying theories of programming"

Αποτελέσματα για "unifying theories of programming" Εμφανίζονται 1 - 19 Αποτελέσματα από 19 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22unifying+theories+of+programming%22&type=AllFields&lng=el 19 0 50 FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / Wed, 01 Jan 2003 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-540-45236-2 https://find.library.upatras.gr/Record/978-3-540-45236-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-319-14806-9 https://find.library.upatras.gr/Record/978-3-319-14806-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Thu, 01 Jan 2004 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-540-24756-2 https://find.library.upatras.gr/Record/978-3-540-24756-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / Sun, 01 Jan 2017 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-319-47016-0 https://find.library.upatras.gr/Record/978-3-319-47016-0 Zhan, Naijun Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Zhan, Naijun 0 Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / Sun, 01 Jan 2006 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-540-33340-1 https://find.library.upatras.gr/Record/978-3-540-33340-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / Sun, 01 Jan 2006 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-540-34752-1 https://find.library.upatras.gr/Record/978-3-540-34752-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / Sun, 01 Jan 2006 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-540-46254-5 https://find.library.upatras.gr/Record/978-3-540-46254-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / Tue, 01 Jan 2019 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-030-31038-7 https://find.library.upatras.gr/Record/978-3-030-31038-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / Sun, 01 Jan 2017 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-319-52228-9 https://find.library.upatras.gr/Record/978-3-319-52228-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-13321-3 https://find.library.upatras.gr/Record/978-3-642-13321-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-14335-9 https://find.library.upatras.gr/Record/978-3-642-14335-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-14521-6 https://find.library.upatras.gr/Record/978-3-642-14521-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-16690-7 https://find.library.upatras.gr/Record/978-3-642-16690-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / Tue, 01 Jan 2013 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-39698-4 https://find.library.upatras.gr/Record/978-3-642-39698-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / Tue, 01 Jan 2013 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-39721-9 https://find.library.upatras.gr/Record/978-3-642-39721-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Reflections on the Work of C.A.R. Hoare Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/978-1-84882-912-1 https://find.library.upatras.gr/Record/978-1-84882-912-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / Tue, 01 Jan 2013 06:05:27 +0200 https://find.library.upatras.gr/Record/978-3-642-35705-3 https://find.library.upatras.gr/Record/978-3-642-35705-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/68057 https://find.library.upatras.gr/Record/68057 Qin, Shengchao Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο 2010 Qin, Shengchao 0 Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers Fri, 01 Jan 2010 06:05:27 +0200 https://find.library.upatras.gr/Record/68524 https://find.library.upatras.gr/Record/68524 Butterfield, Andrew Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο 2010 Butterfield, Andrew 0