The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko Pavlovic
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
epub
Author:
Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko Pavlovic
Language:
English
Year:
2019
0
0
07.02.2024
0
0
Read online
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
pdf
Author:
Rocco De Nicola Pierpaolo Degano José Meseguer (auth.) Pierpaolo Degano Rocco De Nicola José Meseguer (eds.)
Language:
English
Year:
2008
0
0
06.02.2024
0
0
Read online
Handbook of Philosophical Logic
pdf
Author:
Narciso Martí-Oliet José Meseguer (auth.) D. M. Gabbay F. Guenthner (eds.)
Language:
English
Year:
2002
0
0
06.02.2024
0
0
Read online
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
pdf
Author:
Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko Pavlovic
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I
pdf
Author:
José Meseguer.
Language:
English
0
0
29.01.2024
0
0
Read online
Dynamic Worlds: From the Frame Problem to Knowledge Management
djvu
Author:
Narciso Martí-Oliet José Meseguer (auth.) Remo Pareschi Bertram Fronhöfer (eds.)
Language:
English
Year:
1999
0
0
27.01.2024
0
0
Read online
Software engineering with OBJ: algebraic specification in action
djvu
Author:
Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
pdf
Author:
Shusaku Iida José Meseguer Kazuhiro Ogata (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings
pdf
Author:
José Meseguer Carolyn Talcott (auth.) Boris Magnusson (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
pdf
Author:
José Meseguer (auth.) Leo Bachmair (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
1
2
3
4
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
