LEADER 01167nam2-2200385li-450 
001 990000118570203316
005 20180312154834.0
010   $a3-540-16789-7
035   $a0011857
035   $aUSA010011857
035   $a(ALEPH)000011857USA01
035   $a0011857
100   $a2001990101986-------y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aMolecular dynamics$fWm. G. Hoover
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1986
215   $aVI, 138 p.$cill.$d24 cm
225 2 $aLecture notes in physics$v258
410  0$1001000315105$12001$aLecture notes in physics$v258
610 1 $afisica molecolare
676   $a5396
700  1$aHoover,$bWilliam Graham$0478631
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000118570203316
951   $a530 LNP (258)$b12174/cbs$c530$d00223850
959   $aBK
969   $aSCI
979   $c19901011
979   $c20001110$lUSA01$h1711
979   $c20020403$lUSA01$h1619
979   $aPATRY$b90$c20040406$lUSA01$h1609
979   $aRSIAV7$b90$c20090622$lUSA01$h1107
996   $aMolecular dynamics$91501077
997   $aUNISA

LEADER 04143nam  22008295  450 
001 996198262703316
005 20200701121751.0
010   $a3-319-10431-4
024 7 $a10.1007/978-3-319-10431-7
035   $a(CKB)3710000000219454
035   $a(SSID)ssj0001338859
035   $a(PQKBManifestationID)11715921
035   $a(PQKBTitleCode)TC0001338859
035   $a(PQKBWorkID)11345313
035   $a(PQKB)10378195
035   $a(DE-He213)978-3-319-10431-7
035   $a(MiAaPQ)EBC6301881
035   $a(MiAaPQ)EBC5577362
035   $a(Au-PeEL)EBL5577362
035   $a(OCoLC)887816248
035   $a(PPN)180626264
035   $a(EXLCZ)993710000000219454
100   $a20140804d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $e12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings /$fedited by Dimitra Giannakopoulou, Gwen Salaün
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XXII, 394 p. 85 illus.) 
225 1 $aProgramming and Software Engineering ;$v8702
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-10430-6 
327   $aProgram Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems.
330   $aThis book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
410  0$aProgramming and Software Engineering ;$v8702
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aComputer communication systems
606   $aComputer programming
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615  0$aComputer communication systems.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
676   $a004
702   $aGiannakopoulou$b Dimitra$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSalaün$b Gwen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996198262703316
996   $aSoftware Engineering and Formal Methods$92077897
997   $aUNISA