Syntax and Semantics of Petri Nets
Autor Roberto Gorrieri
21 aug 2025
Hardback
Preț: 746.54 lei 933.18 lei
6-8 săpt. | 7-11 zile
-20%
Cambridge Tracts in Theoretical Computer Science
Initial Algebras and Terminal Coalgebras
Autor Ji¿í Adámek et al.
7 ian 2025
Hardback
Preț: 1098.92 lei 1373.65 lei
6-8 săpt.
-20%
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
Autor T. H. Tse
29 iul 2009
Paperback
Preț: 273.62 lei 342.02 lei
6-8 săpt.
-20%
Nonmonotonic Reasoning: Logical Foundations of Commonsense
Autor Gerhard Brewka
28 mar 2012
Paperback
Preț: 278.48 lei 348.10 lei
6-8 săpt.
-20%
Design Theory and Computer Science
Autor Subrata Dasgupta
5 aug 2009
Paperback
Preț: 495.10 lei 618.88 lei
6-8 săpt.
-20%
The Clausal Theory of Types
Autor D. A. Wolfram
29 iul 2009
Paperback
Preț: 199.02 lei 248.78 lei
6-8 săpt.
-20%
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Autor E. -R. Olderog
21 aug 2005
Paperback
Preț: 324.86 lei 406.08 lei
6-8 săpt.
-20%
Higher Order Logic and Hardware Verification
Autor T. F. Melham
iul 2009
Paperback
Preț: 272.99 lei 341.24 lei
6-8 săpt.
-20%
Two-Level Functional Languages
Autor Flemming Nielson et al.
21 aug 2005
Paperback
Preț: 362.76 lei 453.45 lei
6-8 săpt.
-20%
Basic Simple Type Theory
Autor J. Roger Hindley
20 ian 2008
Paperback
Preț: 283.47 lei 354.33 lei
6-8 săpt.
-20%
Information Flow: The Logic of Distributed Systems
Autor Jon Barwise et al.
27 iul 1997
Hardback
Preț: 493.46 lei 616.83 lei
6-8 săpt.
-20%
The Optimal Implementation of Functional Programming Languages
Autor Andrea Asperti et al.
2 dec 1998
Hardback
Preț: 620.03 lei 775.05 lei
6-8 săpt.
-20%
Domains and Lambda-Calculi
Autor Roberto M. Amadio et al.
14 mai 2008
Paperback
Preț: 412.15 lei 515.20 lei
6-8 săpt.
-20%
Data Refinement: Model-Oriented Proof Methods and their Comparison
Autor Willem-Paul de Roever et al.
17 dec 2008
Paperback
Preț: 393.34 lei 491.67 lei
6-8 săpt.
-20%
Hybrid Graph Theory and Network Analysis
Autor Ladislav Novak et al.
2 sep 2009
Paperback
Preț: 272.51 lei 340.63 lei
6-8 săpt.
-20%
Process Algebra: Equational Theories of Communicating Processes
Autor J. C. M. Baeten et al.
15 dec 2009
Hardback
Preț: 654.35 lei 817.94 lei
6-8 săpt.
-20%
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
Autor H. Simmons
17 mai 2000
Hardback
Preț: 908.00 lei 1055.82 lei
6-8 săpt. | 7-11 zile
-14%
Advanced Topics in Bisimulation and Coinduction
Editat de Davide Sangiorgi et al.
12 oct 2011
Hardback
Preț: 789.78 lei 987.22 lei
6-8 săpt.
-20%
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Autor Willem-Paul de Roever et al.
25 ian 2012
Paperback
Preț: 552.39 lei 690.49 lei
6-8 săpt.
-20%
Term Rewriting Systems
Autor Terese
19 mar 2003
Hardback
Preț: 1455.40 lei 1819.25 lei
6-8 săpt.
-20%
Rippling: Meta-Level Guidance for Mathematical Reasoning
Autor Alan Bundy et al.
29 iun 2005
Hardback
Preț: 746.09 lei 932.61 lei
6-8 săpt.
-20%
Nominal Sets: Names and Symmetry in Computer Science
Autor Andrew M. Pitts
29 mai 2013
Hardback
Preț: 405.66 lei 507.07 lei
6-8 săpt.
-20%
Introduction to Coalgebra: Towards Mathematics of States and Observation
Autor Bart Jacobs
26 oct 2016
Hardback
Preț: 1023.16 lei 1189.73 lei
6-8 săpt.
-14%
Finite-State Techniques: Automata, Transducers and Bimachines
Autor Stoyan Mihov et al.
31 iul 2019
Hardback
Preț: 508.96 lei 636.20 lei
6-8 săpt.
-20%