Summary: Semantics and Verification of Software
Lecture 7: Denotational Semantics of WHILE III
(Continuous Functions and Fixpoint Theorem)
Thomas Noll
Lehrstuhl f¨ur Informatik 2
(Software Modeling and Verification)
noll@cs.rwth-aachen.de
http://www-i2.informatik.rwth-aachen.de/i2/svsw11/
Winter Semester 2011/12
© 2011 SAP AG. All rights reserved. 1Confidential
CONFIDENTIAL
Technologie-Beratung @ SAP:
Über ein spannendes Unternehmen,
innovative Technologien und
Ihren möglichen Berufseinstieg
als Trainee im Consulting
SAP Firmenvortrag
Dienstag, 29. November 2011
17:30 bis 18:30
Hörsaal AH1, Ahornstraße

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences