tag:www.meinprof.de,2005:/uni/kurs/41808Temporallogik, für Softwareingenieure (Tempo) (Prof. Dr.-Ing. Uwe Nestmann)2015-07-03T21:03:02Zaudimax MEDIEN GmbHtag:www.meinprof.de,2005:RssEvent/3995072008-07-10T23:58:09Z2008-07-10T23:58:09ZProf. Dr. Uwe NestmannEine neue Literaturempfehlung wurde eingetragen.<p>Prof. Dr. Uwe Nestmann hat eine neue Literaturempfehlung eingetragen:</p> <table border="0">
<tr><td rowspan="2"><a href="http://www.amazon.de/Specifying-Systems-Language-Hardware-Engineers/dp/032114306X%3FSubscriptionId%3D1ER1G0S2TSNPNT0PFX82%26tag%3Dmeinprof-21%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D032114306X"><img src="http://ecx.images-amazon.com/images/I/51TGR5BWDBL._SL160_.jpg" /></a><br /><div style='margin-top:2px; height:12px; width:64px; background-image:url(http://www.meinprof.de/images/layout/menu_icons.png); display: none;'></div></td><td>Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers</td></tr>
<tr valign="top"><td>Leslie Lamport</td></tr>
</table>
<p><a href='http://www.meinprof.de/uni/kurs/41808/literatur?utm_medium=feed&utm_source=cf&utm_content=book'>Empfehlung auf MeinProf anschauen</a> | <a href="http://www.amazon.de/Specifying-Systems-Language-Hardware-Engineers/dp/032114306X%3FSubscriptionId%3D1ER1G0S2TSNPNT0PFX82%26tag%3Dmeinprof-21%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D032114306X">Empfehlung auf Amazon anschauen</a></p>
tag:www.meinprof.de,2005:RssEvent/3995082007-04-01T18:06:12Z2007-04-01T18:06:12ZEine neue Bewertung wurde abgegeben.<p>Ein Student hat eine sehr gute Bewertung abgegeben.</p><p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=rating'>Bewertung anschauen</a></p>tag:www.meinprof.de,2005:RssEvent/3995092007-03-30T18:52:55Z2007-03-30T18:52:55ZDer Kurs wurde verändert.<p>Ein Student hat den Kurs verändert:</p> <table border="0">
<tr><td>Kurstyp:</td><td>Integrierte Veranstaltung</td></tr>
<tr><td>Umfang:</td><td>4 SWS</td></tr>
</table>
<p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=course'>Kurs anschauen</a></p>
tag:www.meinprof.de,2005:RssEvent/3995102006-10-08T19:25:03Z2006-10-08T19:25:03ZEine neue Bewertung wurde abgegeben.<p>Ein Student hat eine sehr gute Bewertung abgegeben.</p><p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=rating'>Bewertung anschauen</a></p>tag:www.meinprof.de,2005:RssEvent/3995112006-07-20T10:13:56Z2006-07-20T10:13:56ZEine neue Bewertung wurde abgegeben.<p>Ein Student hat eine sehr gute Bewertung abgegeben.</p><p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=rating'>Bewertung anschauen</a></p>tag:www.meinprof.de,2005:RssEvent/3995122006-07-19T18:20:22Z2006-07-19T18:20:22ZEine bestehende Bewertung wurde verändert.<p>Ein Student hat seine Bewertung geändert. Sie ist nun: gut</p><p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=rating'>Bewertung anschauen</a></p>tag:www.meinprof.de,2005:RssEvent/3995132006-07-18T14:49:01Z2006-07-18T14:49:01ZEine neue Bewertung wurde abgegeben.<p>Ein Student hat eine sehr gute Bewertung abgegeben.</p><p><a href='http://www.meinprof.de/uni/kurs/41808?utm_medium=feed&utm_source=cf&utm_content=rating'>Bewertung anschauen</a></p>