Your search returned 181 results.

Not what you expected? Check for suggestions
1.
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams [and others] (eds.).

by SPIN'99 (1999 : Toulouse, France) | Dams, Dennis | World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Other title: SPIN'99, theoretical and practical aspects of SPIN model checking.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

by International SPIN Workshop (8th : 2001 Toronto, Ont.) | Dwyer, Matthew, 1963- | ACM Sigsoft.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].

by International SPIN Workshop (9th : 2002 : Grenoble, France) | Bošnački, Dragan, 1963- | Leue, Stefan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / René Alt [and others] (eds.).

by Alt, René.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

by International SPIN Workshop (11th : 2004 : Barcelona, Spain) | Graf, Susanne | Mounier, Laurent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings / Rajeev Alur, Doron A. Peled (eds.).

by CAV (Conference) (16th : 2004 : Boston, MA) | Alur, Rajeev, 1966- | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: CAV 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.).

by International SPIN Workshop (10th : 2003 : Portland, Or.) | Ball, Thomas, 1965- | Rajamani, Sriram K, 1970-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, 2003Other title: SPIN 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).

by CAV (Conference) (19th : 2007 : Berlin, Germany) | Damm, Werner | Hermanns, Holger, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CAV 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.).

by International SPIN Workshop (14th : 2007 : Berlin, Germany) | Bošnački, Dragan, 1963- | Edelkamp, Stefan | CAV (Conference) (19th : 2007 : Berlin, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SPIN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio (eds.).

by MoChArt IV (2007 : Riva, Italy) | Edelkamp, Stefan | Lomuscio, Alessio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MoChArt IV | MoChArt 4 | MoChArt four.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / Luboš Brim [and others] (eds.).

by International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany) | Brim, Lubǒs | PDMC 2006 (2006 : Bonn, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FMICS 2006 | PDMC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.).

by International Haifa Verification Conference (2nd : 2006 : Haifa, Israel) | Bin, Eyal | Ziv, Avi | Ur, Shmuel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: HVC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).

by CAV (Conference) (13th : 2001 : Paris, France) | Comon, Hubert | Berry, Gérard, 1948- | Finkel, A. (Alain), 1958- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2001Other title: CAV 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).

by RV (Workshop) (7th : 2007 : Vancouver, B.C.) | Sokolsky, Oleg | Tasiran, Serdar.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RV 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.).

by International Haifa Verification Conference (3rd : 2007 : Haifa, Israel) | Yorav, Karen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: HVC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings / Nicolas Halbwachs, Doron Peled (Eds.).

by CAV (Conference) (11th : 1999 : Trento, Italy) | Halbwachs, Nicolas | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers / Gilles Barthe, Cédric Fournet (eds.).

by TGC 2007 (2007 : Sophia-Antipolis, France) | Barthe, Gilles, 1967- | Fournet, Cédric.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

by CAV (Conference) (17th : 2005 : Edinburgh, Scotland) | Etessami, Kousha | Rajamani, Sriram K, 1970-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: CAV 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

by International SPIN Workshop (12th : 2005 : San Francisco, Calif.) | Godefroid, Patrice.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: 12th International SPIN Workshop | Twelfth International SPIN Workshop | International SPIN Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers / Rocco De Nicola, Davide Sangiorgi (eds.).

by TGC 2005 (2005 : Edinburgh, Scotland) | De Nicola, Rocco | Sangiorgi, Davide.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: TGC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha