Program Logics for Certified Compilers - Appel, Andrew W. (Princeton University, New Jersey) - Kirjat - Cambridge University Press - 9781107048010 - maanantai 21. huhtikuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Appel, Andrew W. (Princeton University, New Jersey)
Program Logics for Certified Compilers

Hinta
CA$ 214,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.

367 pages, 52 b/w illus.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 21. huhtikuuta 2014
ISBN13 9781107048010
Tuottaja Cambridge University Press
Sivujen määrä 472
Mitta 236 × 161 × 28 mm   ·   848 g   (Arvioitu paino)
Kieli Englanti  
Näytä kaikki

Lisää tuotteita Appel, Andrew W. (Princeton University, New Jersey)

Katso kaikki joka sisältää Appel, Andrew W. (Princeton University, New Jersey) ( Esim. Paperback Book Ja Hardcover Book )