1. Leveraging Applications of Formal Methods, Verification, and Validation
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
Classification :
E-BOOK
2. Leveraging Applications of Formal Methods, Verification, and Validation
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
Classification :
E-BOOK
3. Leveraging Applications of Formal Methods, Verification and Validation
Author: edited by Tiziana Margaria, Bernhard Steffen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
4. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
5. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
6. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
7. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
8. Leveraging applications of formal methods, verification, and validatio
Author: / Tiziana Margaria, Bernhard Steffen (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses
Classification :
QA
,
76
.
758
9. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
10. Leveraging applications of formal methods, verification and validation
Author: Tiziana Margaria, Bernhard Steffen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.
11. 21, 2010, Proceedings, Part I-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
12. 18, 2012, Proceedings, Part II-Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15
Author: / Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
13. 21, 2010, Proceedings, Part II-Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18
Author: / Tiziana Margaria, Bernhard Steffen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
14. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
