Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Formal verification of control system software / Pierre-Lo�ic Garoche.

by Garoche, Pierre-Lo�ic, 1982- [author.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, [2019]Online access: Click here to access online Availability: No items available

The essence of software : why concepts matter for great design / Daniel Jackson.

by Jackson, Daniel [author].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: [United States] : Princeton University Press, [2021]Copyright date: �2021Online access: Click here to access online Availability: No items available