Search Results for Formal methods (Computer science) - Narrowed by: Electronic books.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bbooks.$002509Electronic$002bbooks.$0026ps$003d300?
2025-12-14T06:06:07Z
Formal methods for industrial critical systems a survey of applications
ent://SD_ILS/0/SD_ILS:249398
2025-12-14T06:06:07Z
2025-12-14T06:06:07Z
Author Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teamwork in multi-agent systems a formal approach
ent://SD_ILS/0/SD_ILS:298099
2025-12-14T06:06:07Z
2025-12-14T06:06:07Z
Author Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>