Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540415237 - keskiviikko 20. kesäkuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools 2001 edition

Hinta
€ 169,99

Tilattu etävarastosta

Arvioitu toimitus ma 8. - 22. kesä

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

190 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 20. kesäkuuta 2001
ISBN13 9783540415237
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 190
Mitta 166 × 242 × 24 mm   ·   412 g
Kieli Englanti   Saksa  
Kääntäjä McKenzie, P.

Mere med samme udgiver

Katso kaikki joka sisältää B. Berard ( Esim. Hardcover Book Ja Paperback Book )