Bol 30,51 30,51 Bekijk 
Amazon.nl Bekijk prijs This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a...
De Specification, Modelling, Verification and Runtime Analysis of Real Time Systems is een populaire optie voor Computerarchitectuur. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
