Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / edited by Radhia Cousot, Matthieu Martel.
Contributor(s): Cousot, Radhia [editor.]
| Martel, Matthieu [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 6337Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: XI, 473 p. 131 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642157691.Subject(s): Software engineering | Compilers (Computer programs) | Computer programming | Computer science | Machine theory | Software Engineering | Compilers and Interpreters | Programming Techniques | Computer Science Logic and Foundations of Programming | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
In:
Springer Nature eBook
No physical items for this record
There are no comments for this item.