Tytuł: Wprowadzenie do teori automatów, języków i obliczeńAutor: Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D.Wydanie: 2Rok: 2016Format: 16.5x24.0cmStron: 484ISBN: 9788301145026...
Tytuł: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistegoAutor: Szmuc Tomasz, Szpyrka MarcinWydanie: 1Rok: 2010Format: 16.5x23.9cmStron: 466ISBN: 9788320436693...