Esta edición ISBN ya no está disponible.
Invited Papers.- Types.- Program Analysis.- Semantics.- Language Design and Implementation.- Concurrency.- Verification.- Logic and Automata.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
ISBN 10: 3030341747 ISBN 13: 9783030341749 Editorial: Springer, 2019 Tapa blanda
Se le cobrará en {0}.
Verá los precios en {0} solo como referencia. Sus pedidos se procesarán en {1}.
Más información sobre las preferencias de moneda.