Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings / Antti Valmari (ed.).

by International SPIN Workshop (13th : 2006 : Vienna, Austria) | Valmari, Antti.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: 13th International SPIN Workshop | Thirteenth International SPIN Workshop | International SPIN Workshop | European Joint Conferences on Theory and Practice of Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.).

by International SPIN Workshop (17th : 2010 Enschede, Netherlands) | Pol, Jaco van de | Weber, Michael (Michael F.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / Alastair Donaldson, David Parker (eds.).

by International SPIN Workshop (19th : 2012 : Oxford, England) | Donaldson, Alastair | Parker, David, 1941 October 18-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: SPIN 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).

by International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.) | Bartocci, Ezio (Computer scientist) [editor.] | Ramakrishnan, C. R [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: SPIN 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.).

by International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa) | Fischer, Bernd [editor.] | Geldenhuys, Jaco [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: SPIN 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings / Dragan Bošnački, Anton Wijs (eds.).

by International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands) | Bošnački, Dragan, 1963- [editor.] | Wijs, Anton [editor.] | ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: SPIN 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.).

by International SPIN Workshop (25th : 2018 : Málaga, Spain) | Gallardo, María del Mar [editor.] | Merino, Pedro [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SPIN 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings / Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.).

by International SPIN Workshop (26th : 2019 : Beijing, China) | Biondi, Fabrizio [editor.] | Given-Wilson, Thomas [editor.] | Legay, Axel [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019Other title: SPIN 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha