Logic in Computer Science: Modelling and Reasoning about Systems
Autor Michael Huth et al.
25 aug 2004
Paperback
Preț: 396.63 lei 495.78 lei
22-36 zile | 6-12 zile
-20%
Cărți de Michael Huth
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Editat de Orna Grumberg et al.
9 mar 2007
Paperback
Preț: 642.70 lei 803.37 lei
43-57 zile
-20%
Supply Chain Resilience
Editat de Omera Khan et al.
17 noi 2023
Paperback
Preț: 1011.63 lei 1331.09 lei
17-23 zile | 6-12 zile
-24%
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Autor Bernhard Steffen et al.
24 ian 2019
Paperback
Preț: 197.99 lei 247.49 lei
22-36 zile | 6-12 zile
-20%