Předmět Prototypování algebraických specifikací (XP36PAS)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu XP36PAS - Prototypování algebraických specifikací, Fakulta elektrotechnická, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Literatura
1. Richta, Velebil: Sémantika programovacích jazyků. Skripta UK2. Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 19923. Watt: Programming Language Syntax and Semantics, Prentice Hall 1991
Garant
Karel Richta
Vyučující
Karel Richta