Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Analysis of dynamic message passing programs by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: IST Austria 2013
Availability: Items available for loan: Library (1)Call number: Quiet Room.
Lists:
Place hold
2.
Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings / edited by Majid Zamani, Damien Zufferey. by Series: Lecture notes in computer science ; 11652. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2019]
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Verification, model checking, and abstract interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings / Dirk Beyer, Damien Zufferey (eds.). by Series: Lecture notes in computer science ; 11990. | Lecture notes in computer science. Advanced research in computing and software science. | 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:
  • VMCAI 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha