Holdings: Static Analysis

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cousot, Radhia. (Editor, http://id.loc.gov/vocabulary/relators/edt), Martel, Matthieu. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Programming and Software Engineering ; 6337
Subjects:	Software engineering. Programming languages (Electronic computers). Computer programming. Computer logic. Mathematical logic. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-642-15769-1
Tags:	Add Tag No Tags, Be the first to tag this record!