Formelle metoder i datalogi giver eleverne en omfattende introduktion til formelle metoder og deres anvendelse i software- og hardwarespecifikation og verifikation. Den første del introducerer nogle grundlæggende principper i formelle metoder, herunder mængdelærefunktioner, endelige tilstandsmaskiner og regulære udtryk. Den anden del fokuserer på logik, et kraftfuldt formelt sprog til at specificere systemegenskaber. Det dækker udsagnslogik, prædikatlogik, tidslogik og modelkontrol. Den tredje del præsenterer Petri nets det mest populære formelle sprog inden for systemadfærdsmodellering. Ud over almindelige petri-net undersøger denne del også tidsbestemte petri-net og petri-net på højt niveau. Lærebogen er ideel til bachelor- eller kandidatkurser i computerteknik, softwareteknik, datalogi og informationsteknologiprogrammer. Dele af bogen er nyttigt læsestof i bachelor computerkursus og som en referenceguide for studerende, der forsker i området formel systemspecifikation og validering. Features * Introducerer et omfattende, men håndterbart sæt formelle teknikker til datalogistuderende * Understreger den virkelige anvendelsesværdi for hver formel teknik * Tilbyder et godt sæt øvelser, der hjælper eleverne med bedre at forstå de præsenterede teknikker * Tilbyder også en forberedt kildekode til download og ikke-kommerciel brug<BR><BR>. Sprog: Engelsk