| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:421500176:1639 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:421500176:1639?format=raw |
LEADER: 01639nam a22004455a 4500
001 013368824-0
005 20121109191103.0
008 120928s2012 gw | s ||0| 0|eng d
020 $a9783642338267$99783642338267 (ebk.)
020 $a9783642338267
024 7 $a10.1007/978-3-642-33826-7$2doi
035 $a(Springer)9783642338267
040 $aSpringer
050 4 $aQA76.758
072 7 $aUMZ$2bicssc
072 7 $aCOM051230$2bisacsh
082 04 $a005.1$223
100 1 $aEleftherakis, George.
245 10 $aSoftware Engineering and Formal Methods :$b10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /$cedited by George Eleftherakis, Mike Hinchey, Mike Holcombe.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg :$bImprint: Springer,$c2012.
300 $bdigital.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7504
650 24 $aArtificial Intelligence (incl. Robotics)
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aComputer Communication Networks.
650 0 $aSoftware engineering.
650 0 $aLogic design.
650 0 $aArtificial intelligence.
650 24 $aLogics and Meanings of Programs.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aComputer Communication Networks.
700 1 $aHinchey, Mike.
700 1 $aHolcombe, Mike.
776 08 $iPrinted edition:$z9783642338250
830 0 $aLecture notes in computer science ;$v7504.
988 $a20121004
906 $0VEN