| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:310940030:1426 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:310940030:1426?format=raw |
LEADER: 01426nam a22003735a 4500
001 013275951-9
005 20120706200128.0
008 120125s2012 gw | s ||0| 0|eng d
020 $a9783642277054$99783642277054 (ebk.)
020 $a9783642277054
024 7 $a10.1007/978-3-642-27705-4$2doi
035 $a(Springer)9783642277054
040 $aSpringer
100 1 $aJoshi, Rajeev.
245 10 $aVerified Software: Theories, Tools, Experiments :$b4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /$cedited by Rajeev Joshi, Peter Müller, Andreas Podelski.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2012.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7152
650 24 $aArtificial Intelligence (incl. Robotics)
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
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 $aProgramming Techniques.
650 24 $aMathematical Logic and Formal Languages.
700 1 $aMüller, Peter.
700 1 $aPodelski, Andreas.
776 08 $iPrinted edition:$z9783642277047
830 0 $aLecture notes in computer science ;$v7152.
988 $a20120629
906 $0VEN