Search Results for Object-oriented programming. - Narrowed by: Algebraic logic.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dObject-oriented$002bprogramming.$0026qf$003dSUBJECT$002509Subject$002509Algebraic$002blogic.$002509Algebraic$002blogic.$0026ps$003d300?dt=list
2026-04-12T06:10:36Z
Cafe : an industrial-strength algebraic formal method
ent://SD_ILS/0/SD_ILS:1186207
2026-04-12T06:10:36Z
2026-04-12T06:10:36Z
by Futatsugi, Kokichi.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444505569">https://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Electronic Resources<br/>