Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 B73 2007.

Place hold Add to cart
2.
The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming / Zohar Manna, Richard Waldinger. by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Massachusetts : Addison-Wesley Publishing Company, c1993
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA76.6 M36 1993.

Place hold Add to cart
Pages

Powered by Koha