IST Austria Library

Your search returned 2 results.

Not what you expected? Check for suggestions
1.
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 .
Place hold Log in to add tags
2.
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 .
Place hold Log in to add tags

Powered by Koha