Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.). by Series: Lecture notes in computer science ; 3308.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11348801
Publication details: Berlin : Springer-Verlag, ©2004
Other title:
  • 6th International Conference on Formal Engineering Methods
  • ICFEM 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings / Michael Butler, Wolfram Schulte (eds.). by Series: Lecture notes in computer science ; 6664. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Pages

Powered by Koha