Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / Jeremy Gibbons, Pablo Nogueira (eds.). by Series: Lecture notes in computer science ; 7342. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • MPC 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings / Ralf Hinze, Janis Voigtländer (eds.). by Series: Lecture notes in computer science ; 9129. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • MPC 2015
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / Graham Hutton (eds.). by Series: Lecture notes in computer science ; 11825. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Other title:
  • MPC 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha