History of Archiv/Modely a verifikace programů

Item Id Click to show history spanning item renames.

Name or ID ~(Old Name)	Rev.	Timestamp	Size	Editor	Content Type	Comment and/or `Summary`
Archiv/Modely a verifikace programů	8	2013-09-07 18:17:45z	24865	admin	MediaWiki	/* Procesové algebry. */
Archiv/Modely a verifikace programů	7	2013-09-07 17:38:05z	24840	admin	MediaWiki	/* Procesové algebry. */ doplnění informace o zdroji
Archiv/Modely a verifikace programů	6	2013-09-07 17:37:38z	24834	admin	MediaWiki	/* Specifikace chování real-time systémů, timed automata. */ doplnění informace o zdroji
Archiv/Modely a verifikace programů	5	2013-09-07 17:34:18z	24827	admin	MediaWiki	/* Timed automata (já budu nazývat časovým automatem) */ drobné opravy
Archiv/Modely a verifikace programů	4	2013-09-03 09:41:11z	24856	admin	MediaWiki	Dopsány zbývající otázky kromě tří částí
Archiv/Modely a verifikace programů	3	2013-09-01 17:54:14z	12506	admin	MediaWiki	Rozšíření čtvrté otázky.
Archiv/Modely a verifikace programů	2	2013-09-01 14:52:27z	9421	admin	MediaWiki	Část otázky čtvrté
Archiv/Modely a verifikace programů	1	2013-09-01 10:40:41z	6119	admin	MediaWiki	Zpracovány první dvě otázky.