Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, Band 6349)

Netherlands

von: Jaco van der Pol · Michael Weber

Taschenbuch

ISBN-13: 978-3-642-16163-6

ISBN-10: 3-642-16163-4

Springer · 2010