Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - torstai 16. lokakuuta 2003
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Klaus Schneider

Hinta
Kč 1.301

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 16. lokakuuta 2003
ISBN13 9783540002963
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 620
Mitta 156 × 234 × 33 mm   ·   1,04 kg
Kieli English   German  
Näytä kaikki

Lisää tuotteita Klaus Schneider

Katso kaikki joka sisältää Klaus Schneider ( Esim. Paperback Book , Hardcover Book Ja 12" )