The SPIN Model Checker: Primer and Reference Manual (paperback) Latest reviews on "The SPIN Model Checker: Primer and Reference Manual (paperback)", similar and related results are available at goo.gl/RDZnJP On this website you can find what you need in a second. Also you can post a review or create a topic with your question. Other interesting books: Model checking software: 10th international spin workshop. portland, or, usa, may 9-10, 2003, proceedings (lecture notes in computer science); Static analysis: 15th international symposium, sas 2008, valencia, spain, july 16-18, 2008, proceedings (lecture notes in computer science / programming and software engineering); Model checking software: 12th international spin workshop, san francisco, ca, usa, august 22-24, 2005, proceedings (lecture notes in computer science / theoretical computer science and general issues); Automated technology for verification and analysis: third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings (lecture ... / programming and software engineering); Model checking software: 19th international spin workshop, oxford, uk, july 23-24, 2012. proceedings (lecture notes in computer science / theoretical computer science and general issues); Formal methods for model-driven engineering: 12th international school on formal health for the design of computer, communication and software ... / programming and software engineering).
Posted on: Sat, 24 Aug 2013 09:55:35 +0000
Trending Topics
Recently Viewed Topics
© 2015