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 : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings / Gustavo Carvalho, Volker Stolz (eds.). by Series: Lecture notes in computer science ; 12475. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Other title:
  • SBMF 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings / Violet Ka I Pun, Volker Stolz, Adenilso Simao (eds.). by Series: Lecture notes in computer science ; 12545. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2020]
Other title:
  • ICTAC 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings / Thao Dang, Volker Stolz (eds.). by Series: Lecture notes in computer science ; 13498. | Lecture notes in computer science. Formal methods.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2022]Copyright date: ©2022
Other title:
  • RV 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha