LEADER 01482nam  2200457   450 
001 996485664403316
005 20231110225104.0
010   $a3-031-13257-2
035   $a(CKB)5700000000114162
035   $a(MiAaPQ)EBC7076578
035   $a(Au-PeEL)EBL7076578
035   $a(PPN)264191218
035   $a(EXLCZ)995700000000114162
100   $a20230114d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aDescriptional complexity of formal systems $e24th IFIP WG 1. 02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings /$fedited by Yo-Sub Han and Gyo?rgy Vaszil
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$dİ2022
215   $a1 online resource (239 pages)
225 1 $aLecture Notes in Computer Science ;$vv.13439
300   $aIncludes index.
311   $a3-031-13256-4 
410  0$aLecture Notes in Computer Science 
606   $aFormal methods (Computer science)
606   $aComputational complexity
615  0$aFormal methods (Computer science)
615  0$aComputational complexity.
676   $a004.0151
702   $aHan$b Yo-Sub
702   $aVaszil$b Gyo?rgy
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996485664403316
996   $aDescriptional Complexity of Formal Systems$91904989
997   $aUNISA