LEADER 03335nam  22007575  450 
001 996466442803316
005 20230222035404.0
010   $a3-030-13651-5
024 7 $a10.1007/978-3-030-13651-2
035   $a(CKB)4100000007761919
035   $a(DE-He213)978-3-030-13651-2
035   $a(MiAaPQ)EBC5921706
035   $a(PPN)235231754
035   $a(EXLCZ)994100000007761919
100   $a20190208d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aStructured Object-Oriented Formal Language and Method$b[electronic resource] $e8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /$fedited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11392
300   $aIncludes index.
311   $a3-030-13650-7 
327   $aProgramming and testing -- Verification and validation -- Semantics -- Blockchain.
330   $aThis book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11392
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aElectronic digital computers?Evaluation
606   $aComputer science
606   $aComputer simulation
606   $aComputers
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aSystem Performance and Evaluation
606   $aTheory of Computation
606   $aComputer Modelling
606   $aComputing Milieux
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer science.
615  0$aComputer simulation.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aSystem Performance and Evaluation.
615 24$aTheory of Computation.
615 24$aComputer Modelling.
615 24$aComputing Milieux.
676   $a004.0151
702   $aDuan$b Zhenhua$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTian$b Cong$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNagoya$b Fumiko$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466442803316
996   $aStructured Object-Oriented Formal Language and Method$91901716
997   $aUNISA