Shelfclass_id |
3.A |
Sortkey |
SAS |
Authors |
Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy |
Title |
SAS 1993: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993: proceedings |
Publisher |
Springer Pub. Co. |
Year |
c1993 |
Languages |
eng |
Isbn |
0387572643, 3540572643 |
Series |
Lecture Notes in Computer Science |
Volume |
724 |
Issn |
0302-9743 |
Description |
(U.S.) ix, 283 p. ill. 23 cm |
Record date |
20060628 |
Location |
New York |
Keywords |
Computer programming, Programming languages (Electronic computers) |