Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science - Armin Biere - Bøker - Springer International Publishing AG - 9783319088662 - 4. august 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Armin Biere

Pris
NOK 1.069

Bestillingsvarer

Forventes levert 19. - 27. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 4. august 2014
ISBN13 9783319088662
Utgivere Springer International Publishing AG
Antall sider 877
Mål 155 × 235 × 46 mm   ·   1,25 kg
Språk Tysk  
Redaktør Biere, Armin
Redaktør Bloem, Roderick
Vis alle

Mer med Armin Biere

Se alt med Armin Biere ( f.eks. Pocketbok og Innbunden bok )