* Plusbog medlemspris. Få 7 dages gratis medlemsskab uden binding.
Reactive Systems offers a rigorous introduction to the use of formal methods in specifying and verifying software systems through the application of mathematical logic. The book focuses on the analysis of reactive and distributed systems, examining a range of methodologies from process algebra to operational semantics, including a detailed presentation of Milner's CCS. Geared toward graduate students, this text provides a balanced discussion of various approaches by highlighting both their strengths and limitations. It explores core concepts such as behavioural equivalence and bisimulation techniques alongside adaptations of modal logics that address timing issues. Drawing on material refined from courses taught in Iceland and Denmark, Reactive Systems combines theoretical insights with practical exercises to reinforce understanding. With its comprehensive coverage in 302 pages, this work stands as a valuable resource for anyone looking to master the fundamentals of reactive software systems.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
