Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Engels
125 b
Retourneren binnen 30 dagen
Klanten kochten ook
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.§The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.
Informatie over het boek
Engels
Categorieën
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Adobe ePub DRM
138.24
€
/
Gebonden (harde band)
119.81
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?