Showing
1 - 5
results of
5
for search '
Meseguer, José
'
Skip to content
Language
English
Русский
123
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Meseguer, José
Showing
1 - 5
results of
5
for search '
Meseguer, José
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by
Degano, Pierpaolo
Published in
Springer eBooks
(2008)
Other Authors:
“
...
Meseguer
,
José
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
2
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
by
Futatsugi, Kokichi
Published in
Springer e-books
(2006)
Other Authors:
“
...
Meseguer
,
José
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
3
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Published in
Springer eBooks
(2014)
Other Authors:
“
...
Meseguer
,
José
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
4
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
by
Clavel, Manuel
Published in
Springer e-books
(2007)
Other Authors:
“
...
Meseguer
,
José
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
5
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by
Hutchison, David
Published in
Springer eBooks
(2008)
Other Authors:
“
...
Meseguer
,
José
...
”
Call Number:
Loading...
Located:
Loading...
Get full text
Перейти в каталог НБ ТГУ
eBook
Search Tools:
Get RSS Feed
Related Subjects
Computer Science
Mathematical Logic and Formal Languages
Logic design
Logics and Meanings of Programs
Software Engineering
Software engineering
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Algebra
Data processing
Programming Languages, Compilers, Interpreters
Programming Techniques
Symbolic and Algebraic Manipulation
Algorithm Analysis and Problem Complexity
Computer science
Computer software
Computing Methodologies
Electronic data processing
Information theory
Mathematics of Computing
Theory of Computation
Loading...