Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Este volumen reúne artículos clave del simposio LFCS 2013 sobre lógica computacional, cubriendo temas de semántica formal, verificación automática y teoría de complejidad en un solo libro académico.

Marca: Sergei Artemov
ISBN: 3642357210
MPN: 49 black & white illustrations, biograph
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Edición 20ª Noviembre de 2012
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783642357213
Páginas 428