Su búsqueda retornó 2 resultados.

Resultados
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Verification of Object-Oriented Software [recurso electrónico] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por Beckert, Bernhard [editor.] \| Marché, Claude [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6528Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Con tecnología Koha