1. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
2. Lectures on formal methods and performance analysis :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
3. Lectures on formal methods and performance analysis
پدیدآورنده : / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
F67
,
E34
,
2000
4. Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
پدیدآورنده : Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2090
5. Protocol specification, testing, and Verification, IX
پدیدآورنده : / edited by ED brinksma, Giuseppe Scollo, Chris A. Vissers
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer network protocols -- Congresses
رده :
TK
5105
.
5
.
I3426
1989
6. Protocol tets system
پدیدآورنده : / Edited by Jan Kroon, Rudolf J. Heijink, Ed Brinskma
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Computer network protocols--Testing--Congresses
رده :
TK
5105
.
5
.
I342
1991
7. The Logic of Time :
پدیدآورنده : by J.F.A.K. Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
8. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده : E. Brinksma ... )et al.(, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
9. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
