21. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
Author: Orna Grumberg )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1254


22. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Author: Rajeev Alur, Thomas A. Henzinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1102


23. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
Author: David L. Dill, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
818


24. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Author: Alan J. Hu, Moshe Y. Vardi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1427


25. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
Classification :
QA
76
.
76
.
E93
.
C38
2001


26. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Author: Gerard Berry, Hubert Comon, Alain Finkel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
2102


27. E-Voting and Identity
Author: \ Rolf Haenni , Reto E. Koenig, Douglas Wikström (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic voting -- Congresses.,Data encryption (Computer science) -- Congresses.,Computer software -- Verification -- Congresses.,رأیگیری الکترونیکی -- کنگرهها ,رمزگذاری دادهها -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
JF
1032
.
E94
2015
E-Book
,


28. E-voting and identity
Author: Aggelos Kiayias, Helger Lipmaa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Data encryption (Computer science), Congresses,Electronic voting, Congresses
Classification :
JF1032
.
V68
2011eb


29. Empirical software engineering and verification
Author: Bertrand Meyer, Martin Nordio (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
E47
2011eb


30. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,


31. Formal approaches to software testing and runtime verification
Author: / Klaus Havelund ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
Classification :
QA
,
76
.
9
,.
F67
,
F524
,
2006


32. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb


33. Formal methods for industrial critical systems :
Author: Darren Cofer, Alessandro Fantechi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
9
.
F67
I594
2008eb


34. Formal methods for industrial critical systems :
Author: Gwen Salaün, Bernhard Schätz (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I58
2011


35. Formal verification of object-oriented software :
Author: Bernhard Beckert, Claude Marche (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
F68
2011


36. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011


37. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011


38. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb


39. Hardware and software
Author: / Hana Chockler, Alan J. Hu (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software architecture--Congresses,Computer input-output equipment--Congresses,Computer software--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2008


40. Hardware and software
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input
