Channels - Formal Verification of Object-Oriented Software : :: Biblioteca ITESO

相似書籍: Formal Verification of Object-Oriented Software :

Quick Look
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Quick Look
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Quick Look
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino /
Quick Look
Modular Specification and Verification of Object-Oriented Programs /
Quick Look
Testing Object-Oriented Software : Life Cycle Solutions /
Quick Look
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl /
Quick Look
Design Patterns : Elements of Reusable Object-Oriented Software Elements of Reusable Object-Oriented Software /
Quick Look
Aliasing in Object-Oriented Programming : Types, Analysis, and Verification /
Quick Look
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
Quick Look
A Practical Guide to Testing Object-Oriented Software /
Quick Look
Object-Oriented Software Development Using Java : Principles, Patterns, and Frameworks /
Quick Look
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Quick Look
Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /
Quick Look
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Quick Look
Data Structures and Software Development in an Object-Oriented Domanin : Java Edition /
Quick Look
Data Structures and Software Development in an Object-Oriented Domanin : EIFFEL Edition /
Quick Look
Formal Hardware Verification : Methods and Systems in Comparison /
Quick Look
Introduction to Formal Hardware Verification /
Quick Look
ECOOP 2011--Object-Oriented Programming : 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings /
Quick Look
Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Quick Look
An Introduction to Object-Oriented Programming /
Quick Look
Object-Oriented Design Patterns /
Quick Look
Object-Oriented Analysis and Design /
Quick Look
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /

作者: Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Quick Look
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

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