Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Temporal Verification of Reactive Systems
- Safety
- Indbinding:
- Paperback
- Sideantal:
- 512
- Udgivet:
- 22. August 2012
- Størrelse:
- 235x155x27 mm.
- Vægt:
- 813 g.
Gratis fragt
Leveringstid:
2-3 uger
Forventet levering: 23. Juli 2024
Beskrivelse af Temporal Verification of Reactive Systems
The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.
Brugerbedømmelser af Temporal Verification of Reactive Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Temporal Verification of Reactive Systems findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
