Normal view MARC view ISBD view

Static analysis : 7th international symposium proceedings, SAS, Santa Barbara, CA, USA, June 29-July 1, 2000

Static analysis : 7th international symposium proceedings, SAS, Santa Barbara, CA, USA, June 29-July 1, 2000 - - Berlin Springer 2000 - viii,433 p. 24 cm - Lecture notes in computer science ; v.1824 .

ISBN: 3-540-67668-6

Subjects--Topical Terms:

Computer Science and Engineering
Programming languages(Electronic computers)-Congresses , Static analysis-Congresses , Computer programs-Verification-Congresses

Universal Decimal Class. No.: 681.3.06Sta:7:00

Print
Add to your cart (remove)
More searches

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