Programming language theory and formal methods / edited by Zoran Gacovski - xxiv, 377 páginas : ilustraciones ISBN: 9781774694473 Subjects--Topical Terms: Lenguajes de programación (Computadoras electrónicas) LC Class. No.: QA76.7 / P77