Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Editat de Daniel Dougherty et al.
19 noi 2021
Paperback
Preț: 481.64 lei 602.05 lei
43-57 zile
-20%
Cărți de José Meseguer
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
Editat de Joshua D. Guttman et al.
28 apr 2019
Paperback
Preț: 330.24 lei 412.80 lei
43-57 zile
-20%
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Editat de Shusaku Iida et al.
25 feb 2014
Paperback
Preț: 351.18 lei 438.98 lei
43-57 zile
-20%
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Editat de Gul Agha et al.
13 oct 2011
Paperback
Preț: 342.78 lei 428.48 lei
43-57 zile
-20%
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Editat de José Meseguer et al.
15 iul 2008
Paperback
Preț: 341.15 lei 426.44 lei
43-57 zile
-20%
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Editat de Pierpaolo Degano et al.
3 iun 2008
Paperback
Preț: 671.53 lei 839.41 lei
43-57 zile
-20%
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Autor Manuel Clavel et al.
20 iul 2007
Mixed media product
Preț: 615.11 lei 768.88 lei
43-57 zile
-20%
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Editat de Kokichi Futatsugi et al.
22 iun 2006
Paperback
Preț: 664.77 lei 830.96 lei
43-57 zile
-20%