Αποτελέσματα για "formal specification"

Αποτελέσματα για "formal specification" Εμφανίζονται 1 - 50 Αποτελέσματα από 212 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22formal+specification%22&type=AllFields&lng=el 212 0 50 Formal Specification Level Concepts, Methods, and Algorithms / Thu, 01 Jan 2015 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-08699-6 https://find.library.upatras.gr/Record/978-3-319-08699-6 Soeken, Mathias Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Soeken, Mathias 0 Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / Thu, 01 Jan 2015 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-16101-3 https://find.library.upatras.gr/Record/978-3-319-16101-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Agents and Data Mining Interaction 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers / Thu, 01 Jan 2015 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-20230-3 https://find.library.upatras.gr/Record/978-3-319-20230-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / Fri, 01 Jan 2016 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-44561-8 https://find.library.upatras.gr/Record/978-3-319-44561-8 O'Regan, Gerard Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 O'Regan, Gerard 0 Engineering Societies in the Agents World First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44539-5 https://find.library.upatras.gr/Record/978-3-540-44539-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Collaboration between Human and Artificial Societies Coordination and Agent-Based Distributed Computing / Fri, 01 Jan 1999 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-46624-6 https://find.library.upatras.gr/Record/978-3-540-46624-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Formal Syntax and Semantics of Java Fri, 01 Jan 1999 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-48737-1 https://find.library.upatras.gr/Record/978-3-540-48737-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 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 12:49:35 +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 Multi-Agent Systems. Theories, Languages and Applications 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998, Proceedings / Thu, 01 Jan 1998 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-49241-2 https://find.library.upatras.gr/Record/978-3-540-49241-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Holonic and Multi-Agent Systems for Manufacturing First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45185-3 https://find.library.upatras.gr/Record/978-3-540-45185-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Software Reuse: Advances in Software Reusability 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44995-9 https://find.library.upatras.gr/Record/978-3-540-44995-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45484-7 https://find.library.upatras.gr/Record/978-3-540-45484-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-40981-6 https://find.library.upatras.gr/Record/978-3-540-40981-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +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 ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44525-8 https://find.library.upatras.gr/Record/978-3-540-44525-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / Wed, 01 Jan 1997 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-68490-9 https://find.library.upatras.gr/Record/978-3-540-68490-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Engineering of Intelligent Systems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45517-2 https://find.library.upatras.gr/Record/978-3-540-45517-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-46428-0 https://find.library.upatras.gr/Record/978-3-540-46428-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / Wed, 01 Jan 1997 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-68517-3 https://find.library.upatras.gr/Record/978-3-540-68517-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Intelligent Agents: Specification, Modeling, and Application 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44637-8 https://find.library.upatras.gr/Record/978-3-540-44637-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 From Theory to Practice in Multi-Agent Systems Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers / Tue, 01 Jan 2002 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45941-5 https://find.library.upatras.gr/Record/978-3-540-45941-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45130-3 https://find.library.upatras.gr/Record/978-3-540-45130-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-39425-9 https://find.library.upatras.gr/Record/978-3-540-39425-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-44947-8 https://find.library.upatras.gr/Record/978-3-540-44947-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45136-5 https://find.library.upatras.gr/Record/978-3-540-45136-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45251-5 https://find.library.upatras.gr/Record/978-3-540-45251-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / Tue, 01 Jan 2002 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45648-3 https://find.library.upatras.gr/Record/978-3-540-45648-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-46430-3 https://find.library.upatras.gr/Record/978-3-540-46430-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Financial Cryptography Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings / Thu, 01 Jan 1998 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-53918-6 https://find.library.upatras.gr/Record/978-3-540-53918-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings / Thu, 01 Jan 1998 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-49646-5 https://find.library.upatras.gr/Record/978-3-540-49646-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'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 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-69720-6 https://find.library.upatras.gr/Record/978-3-540-69720-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 SOFSEM '97: Theory and Practice of Informatics 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / Wed, 01 Jan 1997 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-69645-2 https://find.library.upatras.gr/Record/978-3-540-69645-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / Thu, 01 Jan 2004 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-37621-7 https://find.library.upatras.gr/Record/978-3-540-37621-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / Tue, 01 Jan 2002 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Intelligent Agents III. Agent Theories, Architectures, and Languages ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings / Wed, 01 Jan 1997 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-68057-4 https://find.library.upatras.gr/Record/978-3-540-68057-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / Sat, 01 Jan 2000 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45350-5 https://find.library.upatras.gr/Record/978-3-540-45350-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-39979-7 https://find.library.upatras.gr/Record/978-3-540-39979-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings / Fri, 01 Jan 1999 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-48249-9 https://find.library.upatras.gr/Record/978-3-540-48249-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / Thu, 01 Jan 2004 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30476-0 https://find.library.upatras.gr/Record/978-3-540-30476-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / Wed, 01 Jan 1997 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-69593-6 https://find.library.upatras.gr/Record/978-3-540-69593-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45214-0 https://find.library.upatras.gr/Record/978-3-540-45214-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 UML 2004 - The Unified Modeling Language Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / Thu, 01 Jan 2004 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30187-5 https://find.library.upatras.gr/Record/978-3-540-30187-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 12:49:35 +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 Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Fri, 01 Jan 2016 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-47846-3 https://find.library.upatras.gr/Record/978-3-319-47846-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Digital Preservation Metadata for Practitioners Implementing PREMIS / Fri, 01 Jan 2016 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-319-43763-7 https://find.library.upatras.gr/Record/978-3-319-43763-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / Thu, 01 Jan 2004 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-30233-9 https://find.library.upatras.gr/Record/978-3-540-30233-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Web Intelligence: Research and Development First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings / Mon, 01 Jan 2001 12:49:35 +0200 https://find.library.upatras.gr/Record/978-3-540-45490-8 https://find.library.upatras.gr/Record/978-3-540-45490-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0