Número de Cutter-SanbornS797lEntrada «Stat» → 797 · marca de obra “l”

Logical Frameworks and Meta-Languages

Name: Logical Frameworks and Meta-Languages
ISBN: 9781450353748

Theory and Practice

Autor	Sam Staton
Editorial	Association for Computing Machinery
Fecha de publicación	2017
Idioma	inglés
ISBN-13	9781450353748
Número de Cutter	`S797l`

Logical Frameworks and Meta-Languages (2017) — ISBN 9781450353748 | Cutter Number