000			01509nam a2200373Ia 4500
000			03412nam a22003975i 4500
001			978-3-031-44245-2
003			DE-He213
005			20240319121133.0
007			cr nn 008mamaa
008			231023s2023 sz | s |||| 0|eng d
020			_a9783031442452 _9978-3-031-44245-2
082			_a4.0151
245			_aStatic Analysis _cedited by Manuel V. Hermenegildo, José F. Morales. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXIV, 566 p. 910 illus., 86 illus. in color. _bonline resource.
520			_aChapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
650			_aCompilers (Computer programs). _939152
650			_aCompilers and Interpreters. _939153
650			_aComputer Engineering and Networks. _939154
650			_aComputer engineering. _939155
650			_aComputer networks . _939156
650			_aComputer Science Logic and Foundations of Programming. _939157
650			_aComputer science. _939158
650			_aFormal Languages and Automata Theory. _939159
650			_aMachine theory. _939160
650			_aNatural language processing (Computer science). _939161
650			_aNatural Language Processing (NLP). _939162
700			_aHermenegildo, Manuel V. _939163
700			_aMorales, José F. _939164
856			_uhttps://doi.org/10.1007/978-3-031-44245-2
942			_cEBK _2ddc
999			_c15847 _d15847