Search Results for Formal languages -- Semantics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002blanguages$002b--$002bSemantics.$0026ps$003d300?dt=list
2024-08-07T17:27:01Z
The formal semantics of programming languages an introduction
ent://SD_ILS/0/SD_ILS:220170
2024-08-07T17:27:01Z
2024-08-07T17:27:01Z
Author Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2024-08-07T17:27:01Z
2024-08-07T17:27:01Z
Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML 2 semantics and applications
ent://SD_ILS/0/SD_ILS:297799
2024-08-07T17:27:01Z
2024-08-07T17:27:01Z
Author Lano, K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=33734">http://www.books24x7.com/marc.asp?bookid=33734</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470522622">http://dx.doi.org/10.1002/9780470522622</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>