Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4184.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • WS-FM 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / Mario Bravetti, Tevfik Bultan (eds.). by Series: Lecture notes in computer science ; 6551. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • WS-FM 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.). by Series: Lecture notes in computer science ; 8137. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, [2013]Copyright date: ©2013
Other title:
  • SEFM 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha