MODEL CHECKING SOFTWARE: 15TH INTERNATIONAL SPIN WORKSHOP, LOS ANGELES, CA, USA, AUGUST 10-12, 2008 PROCEEDINGS

MODEL CHECKING SOFTWARE: 15TH INTERNATIONAL SPIN WORKSHOP, LOS ANGELES, CA, USA, AUGUST 10-12, 2008 PROCEEDINGS
SPRINGER
-
978-3-540-85113-4
₹ 6,923.00 ₹ 8,173.91