| Record ID | harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708850038:1291 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708850038:1291?format=raw |
LEADER: 01291nam a22003615a 4500
001 012827597-9
005 20110805195159.0
008 110406s2011 xx |0| 0 eng d
020 $a9783642203985 (ebk.)
020 $a9783642203978
035 $a(Springer)9783642203978
040 $aSpringer
100 1 $aBobaru, Mihaela.
245 10 $aNASA Formal Methods :$bThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /$cedited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2011.
300 $bv.: digital
650 24 $aProgramming Techniques.
650 24 $aSoftware Engineering/Programming and Operating Systems.
650 24 $aLogics and Meanings of Programs.
650 24 $aOperating Systems.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aLogic design.
650 0 $aSoftware engineering.
650 0 $aComputer science.
650 0 $aOperating systems (Computers)
700 1 $aHavelund, Klaus.
700 1 $aHolzmann, Gerard J.
700 1 $aJoshi, Rajeev.
830 0 $aLecture notes in computer science ;$v6617.
988 $a20110715
906 $0VEN