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

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

Klaus Schneider

Pris
SEK 539

Bestillingsvarer

Forventes levert 23. - 31. jul

Kundene våre sier:

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

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

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,04 kg
Språk Engelsk   Tysk  
Vis alle

Mer med Klaus Schneider

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