Showing
1 - 3
results of
3
for search '
de Boer, Frank S.
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
de Boer, Frank S.
Showing
1 - 3
results of
3
for search '
de Boer, Frank S.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
by
de
Boer
,
Frank
S.
Published in
Springer e-books
(2006)
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
2
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Published in
Springer eBooks
(2015)
Other Authors:
“
...
de
Boer
,
Frank
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
3
Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by
Bonsangue, Marcello M.
Published in
Springer e-books
(2005)
Other Authors:
“
...
de
Boer
,
Frank
S....
”
Call Number:
Loading...
Located:
Loading...
Get full text
eBook
Search Tools:
Get RSS Feed
Related Subjects
Computer Science
Logics and Meanings of Programs
Software Engineering
Software engineering
Logic design
Operating Systems
Operating systems (Computers)
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
Computer logic
Management information systems
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Mathematical logic
computers
Loading...