Cite this
Email this
Export Record
Save to List
Order a print copy

Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings

Saved in:
Bibliographic Details
Other Authors: Nielson, Hanne Riis, 1954- (Editor) 
Filé, Gilberto, 1951- (Editor) 
Conference: International Static Analysis Symposium (14. : 2007 : Lyngby, Dánsko)
Format: Book
Language:English
Published: Berlin : Springer, 2007
Series:Lecture notes in computer science, 4634
ISSN:0302-9743 ;
ISBN:978-3-540-74060-5
3-540-74060-0
978-3-540-74061-2
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
LEADER 01640nam a2200385 a 4500
001 000649329
003 CZ PrSTK
005 20230710150823.0
008 070703s2007 gw a f 101 0 eng d
020 |a 978-3-540-74060-5  |q (brožováno)  |z 3-540-74060-0 
020 |z 978-3-540-74061-2  |q (elektronická kniha) 
040 |a OHX  |c OHX  |d ZCU  |d C$Q  |d DLC  |d ABA013 
050 0 |a QA76.6  |b .S27 2007 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.42(063) 
080 |a 004.415.5(063) 
080 |a 004.056(063) 
080 |a 004.021(063) 
111 2 |a International Static Analysis Symposium  |n (14. :  |d 2007 :  |c Lyngby, Dánsko)  |7 stk2008421037 
245 1 0 |a Static analysis :  |b 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /  |c Hanne Riis Nielson, Gilberto Filé (eds.) 
246 3 0 |a SAS 2007 
260 |a Berlin :  |b Springer,  |c c2007 
300 |a xi, 467 s. :  |b il. 
440 0 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 4634 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a programování  |x vt  |7 psh12467  |2 psh 
650 0 7 |a verifikace programu  |x if  |7 psh6582  |2 psh 
650 0 7 |a počítačová bezpečnost  |x vt  |7 psh12336  |2 psh 
650 0 7 |a algoritmizace  |x vt  |7 psh12472  |2 psh 
700 1 |a Nielson, Hanne Riis,  |d 1954-  |7 stk2008428788  |4 edt 
700 1 |a Filé, Gilberto,  |d 1951-  |7 stk2008428789  |4 edt 
856 4 1 |u https://doi.org/10.1007/978-3-540-74061-2  |y Plný text 
910 |a ABA013  |b A 43977 
950 |a Springer  |b Computer Science 
996 |a STK  |b 2660458534  |c 119/2008  |d 20080201  |f 1883.50  |g A 43977  |v QA76 .6 .S27 2007  |l 6.NP, regál 6D/001  |t 03