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

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

Hinta
₺ 2.579,50

Tilattu etävarastosta

Arvioitu toimitus ti - ke 9. - 17. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

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 )