Verification, Model Checking, and Abstract Interpretation Editat de Neil Jones et al. 18 dec 2008 Paperback Preț: 326.07 lei 407.59 lei 6-8 săpt. -20%
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu Lecture Notes in Computer Science, nr. 792 Editat de Neil Jones et al. 30 mar 1994 Paperback Preț: 319.60 lei 399.50 lei 6-8 săpt. -20%
Programs as Data Objects Editat de Harald Ganzinger et al. mar 1986 Paperback Preț: 295.89 lei 369.86 lei 6-8 săpt. -20%
ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings Lecture Notes in Computer Science, nr. 432 Editat de Neil Jones 25 apr 1990 Paperback Preț: 409.08 lei 511.34 lei 6-8 săpt. -20%
English Legal History and its Sources: Essays in Honour of Sir John Baker Editat de David Ibbetson et al. 25 noi 2020 Paperback Preț: 329.74 lei 6-8 săpt.