Showing
1 - 3
results of
3
for search '
Boca, Paul
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Boca, Paul
Showing
1 - 3
results of
3
for search '
Boca, Paul
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods: State of the Art and New Directions
by
Boca
,
Paul
Published 2010
Call Number:
Loading…
Located:
Loading…
Get full text
Electronic
Kit
Book
2
Formal Methods: State of the Art and New Directions
Published 2010
Other Authors:
“…
Boca
,
Paul
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Published 2008
Other Authors:
“…
Boca
,
Paul
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer science
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Mathematical logic
Programming languages (Electronic computers)
Computer logic
Database Management
Database management
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών