Refine your search

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Theorem proving in higher order logics (e-book)

by Aagaard, Mark.

Series: Lecture Notes in Computer Science (LNCS) ; v.1869Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal methods in computer-aided design (e-book)

by Aagaard, Mark.

Series: Lecture Notes in Computer Science (LNCS) ; v.2517Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha