LEADER 03678nam  22007215  450 
001 996466175503316
005 20200701155952.0
010   $a3-030-03592-1
024 7 $a10.1007/978-3-030-03592-1
035   $a(CKB)4100000007159065
035   $a(DE-He213)978-3-030-03592-1
035   $a(MiAaPQ)EBC6294939
035   $a(PPN)232470782
035   $a(EXLCZ)994100000007159065
100   $a20181123d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools, and Experiments$b[electronic resource] $e10th International Conference, VSTTE 2018, Oxford, UK, July 18?19, 2018, Revised Selected Papers /$fedited by Ruzica Piskac, Philipp Rümmer
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 345 p. 101 illus., 10 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v11294
300   $aIncludes index.
311   $a3-030-03591-3 
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
410  0$aProgramming and Software Engineering ;$v11294
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer system failures
606   $aSpecial purpose computers
606   $aComputers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer system failures.
615  0$aSpecial purpose computers.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSystem Performance and Evaluation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aThe Computing Profession.
676   $a005.14
702   $aPiskac$b Ruzica$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRümmer$b Philipp$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466175503316
996   $aVerified Software. Theories, Tools, and Experiments$92025652
997   $aUNISA

LEADER 01866nam  2200601   450 
001 9910787861703321
005 20230803195558.0
010   $a1-58983-945-5
035   $a(CKB)2670000000547055
035   $a(EBL)3118306
035   $a(SSID)ssj0001136842
035   $a(PQKBManifestationID)11729884
035   $a(PQKBTitleCode)TC0001136842
035   $a(PQKBWorkID)11116587
035   $a(PQKB)11203077
035   $a(MiAaPQ)EBC3118306
035   $a(Au-PeEL)EBL3118306
035   $a(CaPaEBR)ebr10850471
035   $a(CaONFJC)MIL582870
035   $a(OCoLC)922968122
035   $a(EXLCZ)992670000000547055
100   $a20140401h20142014  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aNeo-Babylonian trial records /$fby Shalom E. Holtz
210  1$aAtlanta, Georgia :$cSociety of Biblical Literature,$d2014.
210  4$dİ2014
215   $a1 online resource (289 p.)
225 1 $aWritings from the Ancient World ;$vNumber 35
300   $aDescription based upon print version of record.
311   $a1-58983-943-9 
320   $aIncludes bibliographical references and index.
410  0$aWritings from the ancient world ;$vNumber 35.
606   $aLaw, Assyro-Babylonian$vSources
606   $aCivil procedure (Assyro-Babylonian law)$vSources
606   $aTrials$zIraq$zBabylonia$vSources
606   $aCourt records$zIraq$zBabylonia
615  0$aLaw, Assyro-Babylonian
615  0$aCivil procedure (Assyro-Babylonian law)
615  0$aTrials
615  0$aCourt records
676   $a347.35/507
700   $aHoltz$b Shalom E.$0861609
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910787861703321
996   $aNeo-Babylonian trial records$91922717
997   $aUNINA