Showing
1 - 5
results of
5
for search '
Bjørner, Dines
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Bjørner, Dines
Showing
1 - 5
results of
5
for search '
Bjørner, Dines
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Software Engineering 2 Specification of Systems and Languages /
by
Bjørner
,
Dines
Published 2006
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Software Engineering 1 Abstraction and Modelling /
by
Bjørner
,
Dines
Published 2006
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Logics of Specification Languages
Published 2008
Other Authors:
“…
Bjørner
,
Dines
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
Published 2001
Other Authors:
“…
Bjørner
,
Dines
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
Published 2000
Other Authors:
“…
Bjørner
,
Dines
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Logics and Meanings of Programs
Software Engineering
Software engineering
Computer programming
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Computer Science
Computer science
Computers
Software Engineering/Programming and Operating Systems
Theory of Computation
Architecture, Computer
Artificial Intelligence
Artificial intelligence
Computation by Abstract Devices
Computer System Implementation
Mathematical Logic and Formal Languages
Mathematical logic
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών