Opening book details…
Can I read Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop on EtoBox?
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop by Susanne Graf, International SPIN Workshop, Susanne Graf, Laurent Mounier, eds is a nonfiction available to read on EtoBox.
What is Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop about?
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr ́ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).
Who reads Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Susanne Graf, International SPIN Workshop, Susanne Graf, Laurent Mounier, eds
- Publisher
- Springer Spektrum. in Springer-Verlag GmbH
- Published
- 2004
- Language
- EN
- ISBN
- 9786610307197
- Category
- nonfiction
- Subjects
- Computer Science, Stem
More by Susanne Graf, International SPIN Workshop, Susanne Graf, Laurent Mounier, eds
Browse all works by Susanne Graf, International SPIN Workshop, Susanne Graf, Laurent Mounier, eds
Similar books
- Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (lecture Notes In Computer Science) — Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (2010)
- Model checking software : 19th International SPIN Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings — Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (2012)
- Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (lecture Notes In Computer Science) — María del Mar Gallardo, Pedro Merino (2018)
- Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings — Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (2004)
- SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885) — Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (2000)
- Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science Book 9232) — Jaco Geldenhuys Bernd Fischer (2015)