Your search returned 2 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 : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Falk Howar, Jiří Barnat (eds.). by Series: Lecture notes in computer science ; 11119. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • FMICS 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Tests and proofs : 18th international conference, TAP 2024, Milan, Italy, September 9-10, 2024, proceedings / Marieke Huisman, Falk Howar, editors. by Series: Lecture notes in computer science ; 15153.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Other title:
  • TAP 2024
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha