Eintrag weiter verarbeiten
Online-Ressource

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

Gespeichert in:

Personen und Körperschaften: Cousot, Radhia (VerfasserIn), Martel, Matthieu (HerausgeberIn)
Titel: Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings/ edited by Radhia Cousot, Matthieu Martel
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 6337
Schlagwörter:
Logic design
Computer simulation
Computer Science
Computer science
Software engineering
Computer programming.
Compilers (Computer programs).
Machine theory.
Konferenzschrift > 2010 > Perpignan
Druckausg.: Static analysis, Berlin : Springer, 2010, XI, 471 S.
Quelle: Verbunddaten SWB
LEADER 05413cam a22012732 4500
001 0-1650421508
003 DE-627
005 20240122105249.0
007 cr uuu---uuuuu
008 101112s2010 gw |||||o 00| ||eng c
020 |a 9783642157691  |9 978-3-642-15769-1 
024 7 |a 10.1007/978-3-642-15769-1  |2 doi 
035 |a (DE-627)1650421508 
035 |a (DE-576)333464591 
035 |a (DE-599)BSZ333464591 
035 |a (OCoLC)700521799 
035 |a (OCoLC)846021293 
035 |a (ZBM)1196.68004 
035 |a (DE-He213)978-3-642-15769-1 
035 |a (EBP)040527557 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Nxx  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.51  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Cousot, Radhia  |0 (DE-627)1246002973  |0 (DE-576)176002979  |4 aut 
245 1 0 |a Static Analysis  |b 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings  |c edited by Radhia Cousot, Matthieu Martel 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010 
300 |a Online-Ressource (XI, 473p. 131 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 6337 
490 0 |a SpringerLink  |a Bücher 
650 0 |a Logic design 
650 0 |a Computer simulation 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2010  |z Perpignan  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4325372-6  |0 (DE-627)128784458  |0 (DE-576)211263192  |a Statische Analyse  |2 gnd 
689 0 |5 DE-101 
689 1 0 |D s  |0 (DE-588)4325372-6  |0 (DE-627)128784458  |0 (DE-576)211263192  |a Statische Analyse  |2 gnd 
689 1 1 |D s  |0 (DE-588)4238603-2  |0 (DE-627)104878282  |0 (DE-576)210414537  |a Bug  |g Informatik  |2 gnd 
689 1 2 |D s  |0 (DE-588)4132652-0  |0 (DE-627)105686085  |0 (DE-576)209637390  |a Softwaretest  |2 gnd 
689 1 |5 DE-101 
689 2 0 |D s  |0 (DE-588)4325372-6  |0 (DE-627)128784458  |0 (DE-576)211263192  |a Statische Analyse  |2 gnd 
689 2 1 |D s  |0 (DE-588)4010348-1  |0 (DE-627)106358464  |0 (DE-576)208887393  |a Codeoptimierung  |2 gnd 
689 2 |5 DE-101 
689 3 0 |D s  |0 (DE-588)4621153-6  |0 (DE-627)32644534X  |0 (DE-576)214355578  |a Abstrakte Interpretation  |2 gnd 
689 3 |5 DE-101 
689 4 0 |D s  |0 (DE-588)4325372-6  |0 (DE-627)128784458  |0 (DE-576)211263192  |a Statische Analyse  |2 gnd 
689 4 1 |D s  |0 (DE-588)4191571-9  |0 (DE-627)105241164  |0 (DE-576)210074388  |a Datenfluss  |2 gnd 
689 4 2 |D s  |0 (DE-588)4131769-5  |0 (DE-627)105692727  |0 (DE-576)209630019  |a Kontrollfluss  |2 gnd 
689 4 |5 DE-101 
700 1 |a Martel, Matthieu  |e Hrsg.  |4 edt 
776 1 |z 9783642157684 
776 0 8 |i Druckausg.  |t Static analysis  |d Berlin : Springer, 2010  |h XI, 471 S.  |w (DE-627)632843179  |w (DE-576)331370239  |z 3642157688  |z 9783642157684 
830 0 |a Lecture notes in computer science  |v 6337  |9 6337  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-15769-1  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://zbmath.org/?q=an:1196.68004  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SEB 
912 |a ZDB-2-LNC  |b 2010 
912 |a ZDB-2-SCS  |b 2010 
912 |a ZDB-2-SXCS  |b 2010 
912 |a ZDB-2-SEB  |b 2010 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.51  |j Programmiermethodik  |q SEPA  |0 (DE-627)106418122 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
900 |a Cousot, R. 
950 |a Programmfehler 
950 |a Programmierfehler 
950 |a Programmierung 
950 |a Fehler 
950 |a Softwarefehler 
950 |a Software 
950 |a Programmtest 
950 |a Testen 
950 |a Programm 
950 |a Steuerfluss 
950 |a Control flow 
950 |a Kontrollflussdiagramm 
950 |a Оптимирование кода 
950 |a Static program analysis 
950 |a Statische Code-Analyse 
950 |a Programmanalyse 
950 |a Abstract interpretation 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15769-1  |9 DE-14 
852 |a DE-14  |z 2011-07-20T14:58:36Z  |x epn:3336877539 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15769-1  |9 DE-15 
852 |a DE-15  |z 2014-03-18T11:18:47Z  |x epn:3336877598 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15769-1  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |z 2014-03-18T11:13:59Z  |x epn:3336877709 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-15769-1  |9 DE-520 
852 |a DE-520  |z 2014-03-18T11:18:48Z  |x epn:3336877784 
980 |a 1650421508  |b 0  |k 1650421508  |o 333464591 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Static+Analysis%3A+17th+International+Symposium%2C+SAS+2010%2C+Perpignan%2C+France%2C+September+14-16%2C+2010.+Proceedings&rft.date=2010&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Static+Analysis%3A+17th+International+Symposium%2C+SAS+2010%2C+Perpignan%2C+France%2C+September+14-16%2C+2010.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+6337&rft.au=Cousot%2C+Radhia&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642157696
SOLR
_version_ 1789357430400876544
access_facet Electronic Resources
author Cousot, Radhia
author2 Martel, Matthieu
author2_role edt
author2_variant m m mm
author_facet Cousot, Radhia, Martel, Matthieu
author_role aut
author_sort Cousot, Radhia
author_variant r c rc
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
ctrlnum (DE-627)1650421508, (DE-576)333464591, (DE-599)BSZ333464591, (OCoLC)700521799, (OCoLC)846021293, (ZBM)1196.68004, (DE-He213)978-3-642-15769-1, (EBP)040527557
de15_date 2014-03-18T11:18:47Z
doi_str_mv 10.1007/978-3-642-15769-1
era_facet 2010
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Statische Analyse, Bug, Softwaretest, Codeoptimierung, Abstrakte Interpretation, Datenfluss, Kontrollfluss
finc_class_facet Informatik, Mathematik
finc_id_str 0001444390
fincclass_txtF_mv science-computerscience
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent-conference
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2010 Perpignan (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Perpignan
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 6337
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1650421508
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer Berlin Heidelberg, 2010
imprint_str_mv Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
institution DE-14, DE-Zi4, DE-520, DE-15
is_hierarchy_id 0-1650421508
is_hierarchy_title Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
isbn 9783642157691
isbn_isn_mv 9783642157684, 3642157688
issn_isn_mv 1611-3349
kxp_id_str 1650421508
language English
last_indexed 2024-01-28T17:50:23.275Z
local_heading_facet_dezwi2 Logic design, Computer simulation, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Machine theory., Statische Analyse, Bug, Softwaretest, Codeoptimierung, Abstrakte Interpretation, Datenfluss, Kontrollfluss
marc024a_ct_mv 10.1007/978-3-642-15769-1
match_str cousot2010staticanalysis17thinternationalsymposiumsas2010perpignanfranceseptember14162010proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)6337
names_id_str_mv (DE-627)1246002973, (DE-576)176002979
oclc_num 700521799, 846021293
physical Online-Ressource (XI, 473p. 131 illus, online resource)
publishDate 2010
publishDateSort 2010
publishPlace Berlin, Heidelberg
publisher Springer Berlin Heidelberg
record_format marcfinc
record_id 333464591
recordtype marcfinc
rsn_id_str_mv (DE-15)2462173
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 6337
series2 Lecture Notes in Computer Science ; 6337, SpringerLink ; Bücher
source_id 0
spelling Cousot, Radhia (DE-627)1246002973 (DE-576)176002979 aut, Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings edited by Radhia Cousot, Matthieu Martel, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (XI, 473p. 131 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6337, SpringerLink Bücher, Logic design, Computer simulation, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2010 Perpignan (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4325372-6 (DE-627)128784458 (DE-576)211263192 Statische Analyse gnd, DE-101, s (DE-588)4238603-2 (DE-627)104878282 (DE-576)210414537 Bug Informatik gnd, s (DE-588)4132652-0 (DE-627)105686085 (DE-576)209637390 Softwaretest gnd, s (DE-588)4010348-1 (DE-627)106358464 (DE-576)208887393 Codeoptimierung gnd, s (DE-588)4621153-6 (DE-627)32644534X (DE-576)214355578 Abstrakte Interpretation gnd, s (DE-588)4191571-9 (DE-627)105241164 (DE-576)210074388 Datenfluss gnd, s (DE-588)4131769-5 (DE-627)105692727 (DE-576)209630019 Kontrollfluss gnd, Martel, Matthieu Hrsg. edt, 9783642157684, Druckausg. Static analysis Berlin : Springer, 2010 XI, 471 S. (DE-627)632843179 (DE-576)331370239 3642157688 9783642157684, Lecture notes in computer science 6337 6337 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-15769-1 X:SPRINGER Verlag lizenzpflichtig Volltext, https://zbmath.org/?q=an:1196.68004 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://dx.doi.org/10.1007/978-3-642-15769-1 DE-14, DE-14 2011-07-20T14:58:36Z epn:3336877539, http://dx.doi.org/10.1007/978-3-642-15769-1 DE-15, DE-15 2014-03-18T11:18:47Z epn:3336877598, http://dx.doi.org/10.1007/978-3-642-15769-1 Zum Online-Dokument DE-Zi4, DE-Zi4 2014-03-18T11:13:59Z epn:3336877709, http://dx.doi.org/10.1007/978-3-642-15769-1 DE-520, DE-520 2014-03-18T11:18:48Z epn:3336877784
spellingShingle Cousot, Radhia, Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings, Lecture notes in computer science, 6337, Logic design, Computer simulation, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2010 Perpignan, Statische Analyse, Bug Informatik, Softwaretest, Codeoptimierung, Abstrakte Interpretation, Datenfluss, Kontrollfluss
swb_id_str 333464591
title Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
title_auth Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
title_full Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings edited by Radhia Cousot, Matthieu Martel
title_fullStr Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings edited by Radhia Cousot, Matthieu Martel
title_full_unstemmed Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings edited by Radhia Cousot, Matthieu Martel
title_in_hierarchy 6337. Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings (2010)
title_short Static Analysis
title_sort static analysis 17th international symposium sas 2010 perpignan france september 14 16 2010 proceedings
title_sub 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
title_unstemmed Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
topic Logic design, Computer simulation, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2010 Perpignan, Statische Analyse, Bug Informatik, Softwaretest, Codeoptimierung, Abstrakte Interpretation, Datenfluss, Kontrollfluss
topic_facet Logic design, Computer simulation, Computer Science, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift, Statische Analyse, Bug, Softwaretest, Codeoptimierung, Abstrakte Interpretation, Datenfluss, Kontrollfluss
url https://doi.org/10.1007/978-3-642-15769-1, https://zbmath.org/?q=an:1196.68004, http://dx.doi.org/10.1007/978-3-642-15769-1