Αποτελέσματα για "software verification"

Αποτελέσματα για "software verification" Εμφανίζονται 1 - 50 Αποτελέσματα από 315 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22software+verification%22&type=AllFields&lng=el 315 0 50 Deductive Software Verification – The KeY Book From Theory to Practice / Fri, 01 Jan 2016 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-319-49812-6 https://find.library.upatras.gr/Record/978-3-319-49812-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advanced Topics in Artificial Intelligence 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings / Fri, 01 Jan 1999 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-46695-6 https://find.library.upatras.gr/Record/978-3-540-46695-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings / Thu, 01 Jan 1998 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-49797-4 https://find.library.upatras.gr/Record/978-3-540-49797-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45614-8 https://find.library.upatras.gr/Record/978-3-540-45614-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / Wed, 01 Jan 2003 22:34:54 +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 Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings / Wed, 01 Jan 1997 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-69140-2 https://find.library.upatras.gr/Record/978-3-540-69140-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Tue, 01 Jan 2002 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45657-5 https://find.library.upatras.gr/Record/978-3-540-45657-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Sat, 01 Jan 2000 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45297-3 https://find.library.upatras.gr/Record/978-3-540-45297-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-46002-2 https://find.library.upatras.gr/Record/978-3-540-46002-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Wed, 01 Jan 2003 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45220-1 https://find.library.upatras.gr/Record/978-3-540-45220-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Wed, 01 Jan 2003 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-39910-0 https://find.library.upatras.gr/Record/978-3-540-39910-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / Thu, 01 Jan 2004 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-27815-3 https://find.library.upatras.gr/Record/978-3-540-27815-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / Fri, 01 Jan 2016 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-662-49674-9 https://find.library.upatras.gr/Record/978-3-662-49674-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers / Fri, 01 Jan 2016 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-319-29613-5 https://find.library.upatras.gr/Record/978-3-319-29613-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Fri, 01 Jan 2016 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-319-49052-6 https://find.library.upatras.gr/Record/978-3-319-49052-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Developments in Language Theory 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings / Wed, 01 Jan 2003 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45007-8 https://find.library.upatras.gr/Record/978-3-540-45007-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / Wed, 01 Jan 2003 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-44829-7 https://find.library.upatras.gr/Record/978-3-540-44829-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings / Sat, 01 Jan 2000 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-46562-1 https://find.library.upatras.gr/Record/978-3-540-46562-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / Fri, 01 Jan 1999 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-48118-8 https://find.library.upatras.gr/Record/978-3-540-48118-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Thu, 01 Jan 1998 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-69753-4 https://find.library.upatras.gr/Record/978-3-540-69753-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45319-2 https://find.library.upatras.gr/Record/978-3-540-45319-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Mon, 01 Jan 2001 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-45416-8 https://find.library.upatras.gr/Record/978-3-540-45416-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / Thu, 01 Jan 2004 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-30472-2 https://find.library.upatras.gr/Record/978-3-540-30472-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 2020_Book_ComputerAidedVerification.pdf Wed, 01 Jan 2020 22:34:54 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-41295 https://find.library.upatras.gr/Record/oapen-20.500.12657-41295 2020 0 978-3-031-13188-2.pdf Sat, 01 Jan 2022 22:34:54 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57931 https://find.library.upatras.gr/Record/oapen-20.500.12657-57931 2022 0 Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / Thu, 01 Jan 2015 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-319-26287-1 https://find.library.upatras.gr/Record/978-3-319-26287-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Thu, 01 Jan 2015 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-662-46681-0 https://find.library.upatras.gr/Record/978-3-662-46681-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings / Thu, 01 Jan 2004 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-27864-1 https://find.library.upatras.gr/Record/978-3-540-27864-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings / Thu, 01 Jan 2004 22:34:54 +0200 https://find.library.upatras.gr/Record/978-3-540-24732-6 https://find.library.upatras.gr/Record/978-3-540-24732-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / Thu, 01 Jan 2004 22:34:54 +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 978-3-030-81685-8.pdf Fri, 01 Jan 2021 22:34:54 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 2021 0 978-3-030-81688-9.pdf Fri, 01 Jan 2021 22:34:54 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50429 https://find.library.upatras.gr/Record/oapen-20.500.12657-50429 2021 0 978-3-031-13185-1.pdf Sat, 01 Jan 2022 22:34:54 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57930 https://find.library.upatras.gr/Record/oapen-20.500.12657-57930 2022 0 Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Fri, 01 Jan 2016 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2897667 https://find.library.upatras.gr/Record/10.1145%2F2897667 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2016 0 Proceedings of the 2005 conference on Specification and verification of component-based systems Sat, 01 Jan 2005 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F1123058 https://find.library.upatras.gr/Record/10.1145%2F1123058 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sat, 01 Jan 2011 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F1926385 https://find.library.upatras.gr/Record/10.1145%2F1926385 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2011 0 Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation Tue, 01 Jan 2019 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F3314221 https://find.library.upatras.gr/Record/10.1145%2F3314221 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2019 0 Proceedings of the 6th ACM SIGPLAN Symposium on Scala Thu, 01 Jan 2015 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2774975 https://find.library.upatras.gr/Record/10.1145%2F2774975 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2015 0 Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs Sat, 01 Jan 2011 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2076674 https://find.library.upatras.gr/Record/10.1145%2F2076674 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2011 0 Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion Sun, 01 Jan 2012 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2162110 https://find.library.upatras.gr/Record/10.1145%2F2162110 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2012 0 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sat, 01 Jan 2005 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F1040305 https://find.library.upatras.gr/Record/10.1145%2F1040305 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2005 0 Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs Wed, 01 Jan 2020 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F3372885 https://find.library.upatras.gr/Record/10.1145%2F3372885 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2020 0 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis Tue, 01 Jan 2019 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F3293882 https://find.library.upatras.gr/Record/10.1145%2F3293882 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2019 0 Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems Wed, 01 Jan 2014 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2593793 https://find.library.upatras.gr/Record/10.1145%2F2593793 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2014 0 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering Sun, 01 Jan 2012 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2347583 https://find.library.upatras.gr/Record/10.1145%2F2347583 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2012 0 Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems Sun, 01 Jan 2017 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F3107091 https://find.library.upatras.gr/Record/10.1145%2F3107091 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2017 0 Proceedings of the 8th Workshop on Programming Languages and Operating Systems Thu, 01 Jan 2015 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F2818302 https://find.library.upatras.gr/Record/10.1145%2F2818302 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2015 0 Proceedings of the 31st Brazilian Symposium on Software Engineering Sun, 01 Jan 2017 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F3131151 https://find.library.upatras.gr/Record/10.1145%2F3131151 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2017 0 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications Fri, 01 Jan 2010 22:34:54 +0200 https://find.library.upatras.gr/Record/10.1145%2F1868281 https://find.library.upatras.gr/Record/10.1145%2F1868281 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2010 0