Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689

First Page		Document Content
Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof		Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Download Document from Source Website File Size: 1,99 MB Share Document on Facebook

	Stewardship 2017 Year in Review Stewardship at a Glance Stewardship Philosophy and Objectives DocID: 1xVGx - View Document
	Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in DocID: 1xVqM - View Document
	Towards a common philosophy of explanation for artificial and biological intelligence Jessica A Thompson () International Laboratory for Brain, Music and Sound (BRAMS) Montreal Institute for Learni DocID: 1xVhT - View Document
	Investing in ideas – a philosophy to diversify and lower risk Das Multi Asset Team von Invesco Perpetual in Henley zielt auf Portfoliodiversifikation durch Anlagen in langfristige Makro-Anlageideen, von denen es wirkli DocID: 1xUPc - View Document
	UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in DocID: 1xUd9 - View Document