LEADER 01228nam  2200409   450 
001 9910794966003321
005 20230807203040.0
010   $a3-7369-4976-6
035   $a(CKB)4340000000200127
035   $a(MiAaPQ)EBC5022188
035   $a(EXLCZ)994340000000200127
100   $a20170929h20152015  uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 00$aCentral Asia $eissues, problems, and perspectives /$fSunatullo Jonboboev, Mirzokhid Rakhimov, Reimund Seidelmann (eds.)
205   $a1. Auflage.
210  1$aGo?ttingen, [Germany] :$cCuvillier Verlag,$d2015.
210  4$dİ2015
215   $a1 online resource (315 pages) $cillustrations
311   $a3-95404-976-7 
320   $aIncludes bibliographical references.
607   $aAsia, Central$xPolitics and government
607   $aAsia, Central$xForeign relations
676   $a958
702   $aJonboboev$b Sunatullo
702   $aRakhimov$b Mirzokhid
702   $aSeidelmann$b Reimund
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910794966003321
996   $aCentral Asia$9966820
997   $aUNINA

LEADER 03248nam  22007095  450 
001 9910349429803321
005 20230222233618.0
010   $a3-319-91271-2
024 7 $a10.1007/978-3-319-91271-4
035   $a(CKB)3850000000031363
035   $a(DE-He213)978-3-319-91271-4
035   $a(MiAaPQ)EBC6295681
035   $a(PPN)227403401
035   $a(EXLCZ)993850000000031363
100   $a20180507d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAbstract State Machines, Alloy, B, TLA, VDM, and Z $e6th International Conference, ABZ 2018, Southampton, UK, June 5?8, 2018, Proceedings /$fedited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIV, 432 p. 83 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817
311   $a3-319-91270-4 
320   $aIncludes bibliographical references and index.
327   $a Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.
330   $aThis book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10817
606   $aMachine theory
606   $aAlgorithms
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence.
615 14$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
676   $a006.31
702   $aButler$b Michael$f1967-$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRaschke$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHoang$b Thai Son$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReichl$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349429803321
996   $aAbstract State Machines, Alloy, B, TLA, VDM, and Z$92026686
997   $aUNINA