000 00684nam a2200193 a 4500
008 231201s2023^^^^xxca^^^^^^^^^^000^0^eng^d
020 _a9781774694473
_qempastado
035 _aMX001002224603
040 _aUNAMX
_bspa
_erda
_cUNAMX
050 4 _aQA76.7
_bP77
245 0 0 _aProgramming language theory and formal methods /
_cedited by Zoran Gacovski
264 1 _aBurlington, ON :
_bArcler Press,
_c[2023]
300 _axxiv, 377 páginas :
_bilustraciones
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
650 4 _aLenguajes de programación (Computadoras electrónicas)
700 1 _aGacovski, Zoran,
_eeditor
999 _c69046
_d69046