Kanály - Tools for Practical Software Verification : :: Biblioteca ITESO

Podobné jednotky: Tools for Practical Software Verification :

Rychlý náhled
Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Rychlý náhled
Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures /
Rychlý náhled
Software Engineering : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
Rychlý náhled
Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /
Rychlý náhled
Advanced Lectures on Software Engineering : LASER Summer School 2007/2008 /
Rychlý náhled
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
Rychlý náhled
Performance Tools and Applications to Networked Systems : Revised Tutorial Lectures /
Rychlý náhled
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Rychlý náhled
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Rychlý náhled
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
Rychlý náhled
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Rychlý náhled
Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /
Rychlý náhled
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Rychlý náhled
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Rychlý náhled
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /
Rychlý náhled
Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers /
Rychlý náhled
Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Rychlý náhled
Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /
Rychlý náhled
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Rychlý náhled
Performance Evaluation of Complex Systems: Techniques and Tools : Performance 2002. Tutorial Lectures /
Rychlý náhled
Machine Tool Practices /
Rychlý náhled
Software Engineering Approaches for Offshore and Outsourced Development : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings /
Rychlý náhled
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Rychlý náhled
Reasoning Web. Semantic Technologies for Software Engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures /

Autor: Bertrand Meyer, Martin Nordio

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