Your search returned 16 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers / Stephen W. Gilroy, Michael D. Harrison (eds.). by Series: Lecture notes in computer science ; 3941.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • DSVIS 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Coordination models and languages : 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / John Field, Vasco T. Vasconcelos (eds.). by Series: Lecture notes in computer science ; 5521. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr. 12688784
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • COORDINATION 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.). by Series: Lecture notes in computer science ; 5596. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12711871
Publication details: Berlin : Springer, ©2009
Other title:
  • FMICS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Formal foundations of reuse and domain engineering : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : Proceedings / Stephen H. Edwards, Gregory Kulczycki, eds. by Series: Lecture notes in computer science ; 5791.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12752911
Publication details: Berlin ; New York : Springer-Verlag, ©2009
Other title:
  • 11th International Conference on Software Reuse
  • Eleventh International Conference on Software Reuse
  • ICSR 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by Series: Lecture notes in computer science ; 5799. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2009
Other title:
  • ATVA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
8.
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). by Series: Lecture notes in computer science ; 5902. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12793839
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • SBMF 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
A survey of verification techniques for parallel programs / Howard Barringer. by Series: Lecture notes in computer science ; 191.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.). by Series: Lecture notes in computer science ; 407.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Compiler specification and verification / Wolfgang Polak. by Series: Lecture notes in computer science ; 124.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1981
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
13.
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by Series: Lecture notes in computer science ; 6371. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • FMICS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
15.
Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. by Series: Lecture notes in computer science ; 2999,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Formal methods: Foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / Rohit Gheyi, David Naumann (eds.). by Series: Lecture notes in computer science ; 7498.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • SBMF 2012
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha