Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16. oktober 2003
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

Pris
NOK 569

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 16. oktober 2003
ISBN13 9783540002963
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 620
Mål 156 × 234 × 33 mm   ·   1,20 kg
Språk Tysk  

Mer med Klaus Schneider

Vis alle

Se alt med Klaus Schneider ( f.eks. Pocketbok , Innbunden bok og 12" )