Search Results for Abstraction. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAbstraction.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-18T14:21:33Z
Software Engineering 1 Abstraction and Modelling
ent://SD_ILS/0/SD_ILS:182582
2026-01-18T14:21:33Z
2026-01-18T14:21:33Z
Author Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Refinement and Proof for Probabilistic Systems
ent://SD_ILS/0/SD_ILS:165310
2026-01-18T14:21:33Z
2026-01-18T14:21:33Z
Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186901
2026-01-18T14:21:33Z
2026-01-18T14:21:33Z
Author Miguel, Ian. editor. Ruml, Wheeler. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73580-9">http://dx.doi.org/10.1007/978-3-540-73580-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182968
2026-01-18T14:21:33Z
2026-01-18T14:21:33Z
Author Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>