← Search the catalogueFAQ
Cover of Verified Software. Theories, Tools, And Experiments, 10Th International Conference, Vstte 2018, Oxford, Uk, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, And Experiments, 10Th International Conference, Vstte 2018, Oxford, Uk, July 18–19, 2018, Revised Selected Papers by Piskac, Ruzica

Kalaignar Centenary Library, Madurai · reference copy, to be read in the library

Where to find it: Fourth floor, call number 005.14 PIS.

Book details

Author
Piskac, Ruzica
Publisher
Springer
Year
2018
ISBN
9783030035914

Copies in the library (1)

FloorCall numberBarcodeStatus
Fourth floor005.14 PIS253683Reference only (read in the library)

Next to this on the shelf

Fourth floor, in call number order.

Availability comes from the library's public catalogue and can change; it was last updated 2026-11-13. Confirm at the library.

This is an unofficial search site, not run by the library (about this site). Open this book in the library's own catalogue.