Ellen Page | CAF Confederation Cup | Client Game
 
Information of news
  • Views: 0
  • Author: sddd
  • Date: 6-07-2017, 16:11

Model Checking Software: 23rd International Symposium

Category: E-Book

Model Checking Software: 23rd International Symposium
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings by Dragan Bošnački, Anton Wijs
English | 2016 | ISBN: 3319325817 | 245 Pages | PDF | 22.6 MB

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
Download Now