Automated Technology for Verification and Analysis
Editat de Madhavan Mukund et al.
16 aug 2012
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Cărți de Madhavan Mukund
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Editat de Ramesh Hariharan et al.
28 noi 2001
Paperback
Preț: 334.67 lei 418.33 lei
6-8 săpt.
-20%