Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
NASA formal methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014. Proceedings / Julia M. Badger, Kristin Yvonne Rozier (eds.). by Series: Lecture notes in computer science ; 8430. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2014
Other title:
  • NFM 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / Julia M. Badger, Kristin Yvonne Rozier (eds.). by Series: Lecture notes in computer science ; 11460. | Lecture notes in computer science. Formal methods. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2019]
Other title:
  • NFM 2019
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha