18 376 863 książek w 175 językach
Jednak się nie przyda? Nic nie szkodzi! Możesz zwrócić produkty nawet do 30 dni
Bon prezentowy to zawsze dobry pomysł. Obdarowany może za bon prezentowy wybrać cokolwiek z naszej oferty.
Nawet do 30 dni na zwrot
Dans les domaines critiques d'application de l'informatique, il peut ętre vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des systčmes produits. Dans ce contexte particulier, la méthode "B évčnementielle" promeut le développement de modčles abstraits du systčme ŕ concevoir et l'utilisation de démonstrations formelles ainsi que de la relation de raffinement entre les modčles. Notre but est de pouvoir travailler sur des systčmes ayant des aspects temporels quantitatifs. C'est ainsi que nous proposons l'introduction des contraintes de temps par le raffinement, ceci permet de respecter la philosophie de la méthode B et de systématiser cette approche par la formalisation de patrons de raffinement. Nos différentes modélisations du temps sont proposées sous la forme de patron ŕ ré-appliquer sur le systčme ŕ étudier.
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?