Design of multithreaded software: the entity-life modeling approach by IEEE Computer Society, Sandén, Bo I. 0 Type: Book
Szoftverfejlesztés C++ nyelven by Benedek, Zoltán, Levendovszky, Tihamér fromAlkalmazott informatika sorozat 0 Type: Book
Tiszta kód: az agilis szoftverfejlesztés kézikönyve by Gilicze Bálint, Rézműves László, Martin, Robert C., Coplien, James O. fromRobert C. Martin sorozat 0 Type: Book
Lean software development: an agile toolkit by Poppendieck, Tom, Poppendieck, Mary fromThe Agile Software Development Series 0 Type: Book
The rational unified process made easy: A practitioner#x10;s guide to the RUP by Kruchten, Philippe, Kroll, Per fromThe Addison-Wesley object technology series 0 Type: Book
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by Bertot, Yves, Castéran, Pierre fromEuropean Association for Theoretical Computer Science : Tex… 0 Type: Book
A practical theory of reactive systems: incremental modeling of dynamic behaviors by Kurki-Suonio, Reino fromTexts in theoretical computer science 0 Type: Book
Systems and software verification: model-checking techniques and tools by Bérard, Béatrice 0 Type: Book
