Static Analysis Editat de Antoine Mine et al. 3 aug 2012 Paperback Preț: 330.96 lei 413.70 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings Lecture Notes in Computer Science, nr. 6538 Editat de Ranjit Jhala et al. 11 ian 2011 Paperback Preț: 328.16 lei 410.20 lei 3-5 săpt. -20%
Programming Languages and Systems Editat de David Schmidt 18 mar 2004 Paperback Preț: 795.23 lei 994.04 lei 6-8 săpt. -20%
The Essence of Computation Editat de Torben Mogensen et al. 13 dec 2002 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%
Mathematical Foundations of Programming Semantics Editat de Stephen Brookes et al. 20 mai 1994 Paperback Preț: 642.53 lei 803.16 lei 6-8 săpt. -20%
Mathematical Foundations of Programming Language Semantics Editat de Michael Main et al. 9 mar 1988 Paperback Preț: 402.76 lei 6-8 săpt.