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 : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings / Sérgio Campos, Marius Minea (eds.). by Series: Lecture notes in computer science ; 13130. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2021]Copyright date: ©2021
Other title:
  • SBMF 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. by Series: NATO security through science series. D, Information and communication security ; ; vol. 1.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha