Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16. oktober 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Klaus Schneider

Pris
元 507,50

Bestilles fra fjernlager

Forventes klar til forsendelse 18. - 24. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 16. oktober 2003
ISBN13 9783540002963
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 620
Mål 156 × 234 × 33 mm   ·   1,04 kg
Sprog Engelsk   Tysk  
Vis alle

Mere med Klaus Schneider

Se alt med Klaus Schneider ( f.eks. Paperback Bog , Hardcover bog og 12" )