LEADER 02970nam  22007695  450 
001 9910349393203321
005 20230124142414.0
010   $a3-030-03769-X
024 7 $a10.1007/978-3-030-03769-7
035   $a(CKB)4100000007127615
035   $a(DE-He213)978-3-030-03769-7
035   $a(MiAaPQ)EBC6301983
035   $a(PPN)232470847
035   $a(EXLCZ)994100000007127615
100   $a20181107d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRuntime Verification $e18th International Conference, RV 2018, Limassol, Cyprus, November 10?13, 2018, Proceedings /$fedited by Christian Colombo, Martin Leucker
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11237
300   $aIncludes index.
311   $a3-030-03768-1 
327   $aInvited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
330   $aChapter ?Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v11237
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aElectronic digital computers?Evaluation
606   $aComputer science
606   $aComputers
606   $aProfessions
606   $aMachine theory
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aSystem Performance and Evaluation
606   $aComputer Science Logic and Foundations of Programming
606   $aThe Computing Profession
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer science.
615  0$aComputers.
615  0$aProfessions.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aSystem Performance and Evaluation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aThe Computing Profession.
615 24$aFormal Languages and Automata Theory.
676   $a005.14
676   $a005.14
702   $aColombo$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLeucker$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349393203321
996   $aRuntime Verification$9772115
997   $aUNINA