Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Schneider, Klaus - Verification of Reactive Systems - Formal Methods and Algorithms
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Schneider, Klaus |
| Titel: | Verification of Reactive Systems - Formal Methods and Algorithms |
| ISBN: | 9783540002963 |
| Uitgever: | Springer Berlin |
| Bijzonderheid: | 2003 620pp Gebonden |
| Prijs: |
€ 63,00
Gratis
|
| Meer info | Annotatie Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, Flaptekst This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,95 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 2,95 euro per zending.
Minimale bestelafname van 10,- euro, exclusief verzending.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.