Edicija: „TEHNIČKE NAUKE - UDŽBENICI”

Naziv udžbenika: „Računarske vežbe iz predmeta Formalne metode projektovanja i verifikacije hardvera”

Autori: Staniša Dautović, Vuk Vranjković

Recenzenti: dr Rastisalav Struharik, docent Fakulteta tehničkih nauka  u Novom Sadu
             dr Goran Lj. Đorđević, red. prof. Elektronskog fakulteta u Nišu
                  
Izdavač: Fakultet tehničkih nauka u Novom Sadu

Glavni i odgovorni urednik:
prof. dr Rade Doroslovački, dekan Fakulteta tehničkih nauka u Novom Sadu

Štampa: FTN - Grafički centar GRID, Trg Dositeja Obradovića 6, Novi Sad
Štampanje odobrio: Savet za bibliotečku i izdavačku delatnost FTN-a u Novom Sadu
Predsednik Saveta za bibliotečku i izdavačku delatnost:
dr Radoš Radivojević, redovni profesor Fakulteta tehničkih nauka u Novom Sadu

---

CIP-Katalogizacija u publikaciji
Biblioteka Matice srpske, Novi Sad
004.3 12(075.8)(076)

DAUTOVIĆ, Staniša
     Računarske vežbe iz predmeta Formalne metode
projektovanja i verifikacije hardvera / Staniša Dautović,
Vuk Vranjković. - Novi Sad : Fakultet tehničkih nauka, 2014
(Novi Sad : FTN, Grafički centar GRID). -  127 str. : ilustr.; 24 cm. –
(Edicija “Tehničke nauke - udžbenici” ; br. 479)
Tiraž 100. - Bibliografija.
ISBN 978-86-7892-654-9

a) Hardver – Projektovanje - Vežbe

---

Iz recenzije
Praktikum je napisan pregledno, jasnim stilom, sa većim brojem dobro odabranih primera i zadataka, koji su tako postavljeni da postepeno uvode studenta u oblast verifikacije hardvera primenom softverskog alata za formalnu verifikaciju IFV Cadence. Treba istaći da ovakva vrsta udžbenika iz oblasti formalnih metoda verifikacije hardvera generalno nedostaje univerzitetskoj literature u Srbiji. Takođe rukopis predstavlja koristan vodič za inženjere elektronike koji žele da se upoznaju sa osnovama formalne verifikacije i njenim mogućnostima.
                                                                                                                                                                                                                        Dr Goran Lj. Đorđević, redovni profesor

---