Showing
1 - 4
results of
4
for search '
Woodcook, Jim
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Woodcook, Jim
Showing
1 - 4
results of
4
for search '
Woodcook, Jim
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
by
Borba, Paulo
Published 2010
Other Authors:
“…
Woodcook
,
Jim
…”
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Published 1999
Other Authors:
“…
Woodcook
,
Jim
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Published 1999
Other Authors:
“…
Woodcook
,
Jim
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Published 2010
Other Authors:
“…
Woodcook
,
Jim
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Computer logic
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Computer Science
Computer science
Computers
Mathematical Logic and Formal Languages
Programming Techniques
Special Purpose and Application-Based Systems
Special purpose computers
Theory of Computation
Computer programming
Information Systems
Logic design
Management of Computing and Information Systems
Mathematical logic
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών