Formal Methods for Real-Time and Probabilistic Systems - Joost - Pieter Katoen - książka historyczna wyd. 1999
20,16 zł 28,00 zł
tezeusz.pl Zobacz w sklepie Opis
"Formal Methods for Real-Time and Probabilistic Systems" to zbiór materiałów z 5. Międzynarodowego Warsztatu AMAST ARTS'99, który odbył się w Bamberg, Niemcy, w dniach 26-28 maja 1999 roku. Publikacja zawiera 20 recenzowanych artykułów, dotyczących metod formalnych stosowanych w systemach czasu rzeczywistego oraz probabilistycznych. Omawia zagadnienia związane z weryfikacją modeli, logiką programów, procesami probabilistycznymi oraz algorytmami bisymulacji