1.0https://www.deberes.net/tesisdebereshttps://www.deberes.net/tesis/author/infouniversidad/Implementacion de especificaciones algebraicasrich600338<blockquote class="wp-embedded-content" data-secret="VHbJCp5RFA"><a href="https://www.deberes.net/tesis/matematicas/implementacion-de-especificaciones-algebraicas/">Implementacion de especificaciones algebraicas</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://www.deberes.net/tesis/matematicas/implementacion-de-especificaciones-algebraicas/embed/#?secret=VHbJCp5RFA" width="600" height="338" title="«Implementacion de especificaciones algebraicas» — " data-secret="VHbJCp5RFA" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script>
/*! This file is auto-generated */
!function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document);
</script>
Implementacion de especificaciones algebraicas tesis doctoral de Sanchez Ortega Ana R.. Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su. Tesis sobre Ciencia de los ordenadores, Matemáticas, País vasco/euskal herriko unibertsitatea, Software, Teoría de la programacion