Početna stranicaVisoka učilištaKorisničke stranice
Formal Methods in Computer Systems Design
Abbreviation: RAČ11O8Load: 45(L) + 15(E) + 30(LE) + 0(CE)
Lecturers in charge: Prof. dr. sc. Nikola Bogunović
Lecturers: mr. sc. Igor Grudenić ( Exercises )
mr. sc. Edgar Pek ( Laboratory exercises )
Course description:
Literature:
1. D. W. Oliver, T. P. Keliher, J. G., Jr. Keegan: Engineering Complex Systems with Models and Objects, McGraw-Hill, 1997.
2. J. Staunstrup, W. Wolf: Hardware/Software Co-Design: Principles and Practice, Kluwer, 1997.
3. M. Shaw, D. Garlan: Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.
Literature: - - -
Legend
L - Lectures
E - Exercises
LE - Laboratory exercises
CE - Project laboratory
* - Not graded
Copyright (c) 2006. Ministarstva znanosti, obrazovanja i športa. Sva prava zadržana.
Programska podrška (c) 2006. Fakultet elektrotehnike i računarstva.
Oblikovanje(c) 2006. Listopad Web Studio.
Posljednja izmjena 2010-12-10