Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Editat de Achim Brucker et al.
16 mai 2012
Paperback
Preț: 396.70 lei 495.88 lei
6-8 săpt.
-20%
Cărți de Jacques Julliand
B 2007: Formal Specification and Development in B
Editat de Jacques Julliand et al.
14 dec 2006
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%