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ț: 471.90 lei 589.88 lei
6-8 săpt.
-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ț: 323.59 lei 404.49 lei
6-8 săpt.
-20%
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Editat de Shusaku Iida et al.
25 feb 2014
Paperback
Preț: 344.13 lei 430.15 lei
6-8 săpt.
-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ț: 335.90 lei 419.86 lei
6-8 săpt.
-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ț: 335.43 lei 419.30 lei
6-8 săpt.
-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ț: 660.22 lei 825.28 lei
6-8 săpt.
-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ț: 604.75 lei 755.94 lei
6-8 săpt.
-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ț: 653.57 lei 816.96 lei
6-8 săpt.
-20%