Tools and Algorithms for the Construction and Analysis of Systems - Joost - Pieter Katoen - książka wyd. 2004
12,95 zł 18,00 zł
tezeusz.pl Zobacz w sklepie Opis
„Tools and Algorithms for the Construction and Analysis of Systems” (TACAS) to seria konferencji poświęconych narzędziom i algorytmom stosowanym w konstrukcji oraz analizie systemów komputerowych. Najnowsza edycja, TACAS 2023, odbyła się w ramach European Joint Conferences on Theory and Practice of Software (ETAPS) w Paryżu w dniach 22–27 kwietnia 2023 roku