Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever Lecture Notes in Computer Science, nr. 5930 Editat de Dennis Dams et al. 24 feb 2010 Paperback Preț: 325.79 lei 407.24 lei 3-5 săpt. -20%
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Lecture Notes in Computer Science, nr. 5850 Editat de Ana Cavalcanti et al. 26 oct 2009 Paperback Preț: 646.38 lei 807.97 lei 6-8 săpt. -20%