Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science - Ranjit Jhala - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - 2011. gada 11. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Ranjit Jhala
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Ranjit Jhala izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

430 pages, 79 black & white illustrations, 11 colour illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2011. gada 11. janvāris
ISBN13 9783642182747
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 419
Izmēri 155 × 235 × 23 mm   ·   657 g
Valoda Franču  
Redaktors Jhala, Ranjit
Redaktors Schmidt, David

Vairāk no Ranjit Jhala

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Ranjit Jhala