Canais - Tests and Proofs : :: Biblioteca ITESO

Registros relacionados: Tests and Proofs :

Visualização Rápida
Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Visualização Rápida
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Visualização Rápida
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Visualização Rápida
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Visualização Rápida
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Visualização Rápida
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Visualização Rápida
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Visualização Rápida
Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /
Visualização Rápida
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Visualização Rápida
Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Visualização Rápida
People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 /
Visualização Rápida
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /
Visualização Rápida
Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /
Visualização Rápida
Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Visualização Rápida
Proofs and Algorithms : An Introduction to Logic and Computability /
Visualização Rápida
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /
Visualização Rápida
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Visualização Rápida
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Visualização Rápida
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Visualização Rápida
Proof, Computation and Agency : Logic at the Crossroads /
Visualização Rápida
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /
Visualização Rápida
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Visualização Rápida
Adapting Proofs-as-Programs : The Curry--Howard Protocol /
Visualização Rápida
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /

Autor: Gordon Fraser, Angelo Gargantini

Visualização Rápida
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0