Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Skripte zu Hoar-Kalkül und O-Kalkül

6 views
Skip to first unread message

Kostja

unread,
May 12, 2006, 3:31:08 AM5/12/06
to
Wer zu O- und Hoare-Kalkül nochmal Infos aus ner anderen Quelle haben
will, der sollte sich unbedingt mal diese Skripte der Uni Rostock
anschauen:

http://wwwswt.informatik.uni-rostock.de/deutsch/Mitarbeiter/michael/lehre/pt_2001/015/aufwand.pdf
http://wwwswt.informatik.uni-rostock.de/deutsch/Mitarbeiter/michael/lehre/pt_2001/Hoare_akt_008.pdf

Viel Spaß,
Kostja

Nico Golde

unread,
May 12, 2006, 11:07:43 AM5/12/06
to
Hallo Kostja,
* Kostja <konstanti...@web.de>:

Danke!
Kann vielleicht noch jemand ein gutes Buch empfehlen?
Gruß Nico

0 new messages