Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / David Basin, Burkhart Wolff (eds.). by Series: Lecture notes in computer science ; 2758.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings / Martin Gogolla, Burkhart Wolff (eds.). by Series: Lecture notes in computer science ; 6706. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • TAP 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.). by Series: Lecture notes in computer science ; 7019. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers / Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.). by Series: Lecture notes in computer science ; 7681. | 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, ©2013
Other title:
  • UTP 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / Catherine Dubois, Burkhart Wolff (eds.). by Series: Lecture notes in computer science ; 10889. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Other title:
  • TAP 2018
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha