Showing
1 - 5
results of
5
for search '
Petrenko, Alexandre
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Petrenko, Alexandre
Showing
1 - 5
results of
5
for search '
Petrenko, Alexandre
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
by
Petrenko
,
Alexandre
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
The Unknown Component Problem Theory and Applications /
by
Villa, Tiziano
,
Yevtushenko, Nina
,
Brayton, Robert K.
,
Mishchenko, Alan
,
Petrenko
,
Alexandre
,
Sangiovanni-Vincentelli, Alberto
Published 2012
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Pap...
Published 2004
Other Authors:
“…
Petrenko
,
Alexandre
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
Published 2010
Other Authors:
“…
Petrenko
,
Alexandre
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007...
Published 2007
Other Authors:
“…
Petrenko
,
Alexandre
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Computer logic
Programming languages (Electronic computers)
Electrical engineering
Logic design
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering/Programming and Operating Systems
Circuits and Systems
Communications Engineering, Networks
Computer Communication Networks
Computer communication systems
Computer programming
Electrical Engineering
Electronic circuits
Engineering
Logic Design
Management information systems
Management of Computing and Information Systems
Mathematical logic
Models and Principles
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών