Normal view MARC view ISBD view

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / [electronic resource] : edited by Radhia Cousot, Matthieu Martel. - 1st ed. 2010. - XI, 473 p. 131 illus. online resource. - Programming and Software Engineering, 6337 2945-9168 ; . - Programming and Software Engineering, 6337 .

ISBN: 9783642157691

Standard No.: 10.1007/978-3-642-15769-1 doi

Subjects--Topical Terms:
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 Theory.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)