CONCRETE SEMANTICS

A PROOF ASSISTANT APPROACH

Tobias Nipkow

Ahorras un 5,0%

81,10 €

77,05 €

Editorial: SPRINGER
Año de edición: 2015
Materia: Temas varios
ISBN: 978-3-319-10541-3
Páginas: 290
Colección: < Genérica >
Idioma: Inglés

Ahorras un 5,0%

81,10 €

77,05 €

Alerta disponibilidad online

No Disponible El artículo se encuentra agotado para la venta online en este momento, pero puedes consultar si lo tenemos disponible en alguna de NUESTRAS LIBRERÍAS:

Ahorras un 5,0%

81,10 €

77,05 €

(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); ga('create', 'UA-3975688-1', 'troa.es'); ga('require', 'displayfeatures'); ga('send', 'pageview');

(function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/es_ES/all.js#xfbml=1&appId=208447489340715"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk'));

CONCRETE SEMANTICS

A PROOF ASSISTANT APPROACH

¿Que son las Cookies?