FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I Lecture Notes in Computer Science, nr. 1708 Editat de Jeannette M. Wing et al. 13 sep 1999 Paperback Preț: 652.07 lei 815.08 lei 6-8 săpt. -20%
Specification and Proof in Real Time CSP Distinguished Dissertations in Computer Science, nr. 6 Autor Jim Davies 11 ian 2012 Paperback Preț: 361.87 lei 452.34 lei 6-8 săpt. -20%
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6527 Editat de Jim Davies et al. 23 mar 2011 Paperback Preț: 321.03 lei 401.30 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Editat de Jim Davies et al. 28 oct 2004 Paperback Preț: 633.17 lei 791.45 lei 6-8 săpt. -20%
Developments in Services of General Interest Legal Issues of Services of General Interest Editat de Erika Szyszczak et al. 29 mai 2013 Paperback Preț: 609.98 lei 717.62 lei 6-8 săpt. -15%
Integrated Formal Methods Editat de Jim Davies et al. 22 iun 2007 Paperback Preț: 640.94 lei 801.16 lei 6-8 săpt. -20%
Engineering Agile Big-Data Systems Autor Kevin Feeney et al. 21 oct 2024 Paperback Preț: 234.07 lei 364.87 lei 6-8 săpt. -36%
Illustrating Armageddon: Matania and the First World War Autor Jim Davies 15 feb 2020 Hardback Preț: 239.92 lei Se retipărește