
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542

24th International Workshop
by Anuj Dawar, Helmut Veith
Springer · 2010
Free delivery. Nothing extra to pay at checkout.
Computer Science Logic: 24th International Workshop is written by Anuj Dawar & Helmut Veith. This edition from Springer (2010) has 546 pages. The book is part of the Advanced research in computing and software science series.
Its main subjects are Computer logic, Congresses, Computational logic and Logik. Places discussed include Brünn <2010>.