Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Series: Texts in Theoretical Computer Science an EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
2.
Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
3.
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library