Showing
1 - 1
results of
1
for search '
Eriksson, Lars-Henrik
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Eriksson, Lars-Henrik
Showing
1 - 1
results of
1
for search '
Eriksson, Lars-Henrik
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Published 2002
Other Authors:
“…
Eriksson
,
Lars
-
Henrik
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Computer programming
Computers
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Software Engineering/Programming and Operating Systems
Software engineering
Theory of Computation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών