Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing - Fabio Mogavero - Kirjat - Atlantis Press (Zeger Karssen) - 9789491216947 - maanantai 12. elokuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing 2013 edition

Fabio Mogavero

Hinta
€ 64,49

Tilattu etävarastosta

Arvioitu toimitus ti - pe 15. - 25. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

Löytyy myös muodossa:

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing 2013 edition

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

168 pages, 13 black & white illustrations, 15 black & white tables, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 12. elokuuta 2013
ISBN13 9789491216947
Tuottaja Atlantis Press (Zeger Karssen)
Sivujen määrä 149
Mitta 163 × 241 × 15 mm   ·   376 g

Katso kaikki joka sisältää Fabio Mogavero ( Esim. Paperback Book Ja Hardcover Book )