Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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
2.
Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / Alessandro Fantechi, Patrizio Pelliccione (eds.). by Series: Lecture notes in computer science ; 9274. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SERENE 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.). by Series: Lecture notes in computer science ; 11865. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2019 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha