Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari. by
Edition: 3rd ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
2.
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
3.
Ada for Software Engineers (Second Edition with Ada 2005) [electronic resource] / edited by Mordechai Ben-Ari. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library