*Search Results* - Modular specification and verification of object-oriented programs

sublabel_Solr

1
2
3
*Next*
[3]

Modular specification and verification of object oriented programs

Müller, Peter (Verfasser)

Hagen : FernUniversität in Hagen, 2001

*eBook*

Modular specification and verification of object oriented programs

Müller, Peter

Hagen : Fernuniv., Fachbereich Informatik, 2001

*book*

Modular specification and verification of object-oriented programs

Müller, Peter

Berlin [u.a.] : Springer, 2002

*book*

Modular Specification and Verification of Object-Oriented Programs

Müller, Peter (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

*eBook*

Object-oriented programming : 27th European conference ; proceedings

Castagna, Giuseppe (Herausgeber)

Berlin : Springer, 2013

*book*

Verification of object oriented software : the KeY approach

Beckert, Bernhard (Herausgeber)

Berlin : Springer, 2007

*book*

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Castagna, Giuseppe (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

*eBook*

Object oriented technology : workshop reader, workshops, panels, and posters ; proceedings

Moreira, Ana (Herausgeber)

Berlin : Springer, 1999

*book*

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Margaria, Tiziana (Herausgeber)

1st ed. 2016

Cham : Springer International Publishing, 2016

*eBook*

ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Black, Andrew (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Addendum to the proceedings / OOPSLA '92, Conference on Object Oriented Programming Systems, Languages, and Applications : 18 - 22 October 1992, Vancouver, British Columbia, Canada

Archibald, Jerry L. (Herausgeber)

New York, NY : ACM Press, 1993

*book*

Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Castagna, Giuseppe (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

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

Meyer, Bertrand (Herausgeber)

1st edition 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Halbwachs, Nicolas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Bonsangue, Marcello M (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Fitzgerald, John (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Ahrendt, Wolfgang (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

*eBook*

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Grumberg, Orna (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Abstraction and specification in program development

Liskov, Barbara

4. print.

Cambridge [u.a.] : MIT Press [u.a.], 1989

*book*

1
2
3
*Next*
[3]

*sublabel_Solr*

*Showing* 1 - 20 *of* 56

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 56

pagination

pagination

Narrow Search