Verteilte Laufzeitverifikation auf eingebetteten Systemen
Logiken und Monitorkonstruktionen fur asynchrone Prozesse
Vše od
Springer Fachmedien Wiesbaden
ISBN: 9783658128517
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit ĂĽberwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen fĂĽr den Einsatz zur Laufzeitverifikation...
1 469 Kč
- 1 - 2 ks
- 1 469 Kč
- 3 - 10 ks
- 1 454 Kč
- 11 a více ks
- 1 440 Kč
Naše cena 1 469 Kč je o 6 % nižší než
doporučená cena výrobce 1 562 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer Fachmedien Wiesbaden ↓
1 469 Kč
Více o produktu ↓
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit ĂĽberwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen fĂĽr den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme.
- Výrobce
- Springer Fachmedien Wiesbaden
- Jazyk
- Germany
- Autor
- Schmitz, Malte
- Rozměry
- 210 x 148
- Rok vydání
- 2016
- Počet stran
- 163
- Obsah
- Paperback / softback
- Počet stran
- 163 pages, 33 Illustrations, black and white; XXIII, 163 S. 33 Abb.
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Verteilte Laufzeitverifikation auf eingebetteten Systemen a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
