| Record ID | harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708909904:1393 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708909904:1393?format=raw |
LEADER: 01393nam a22003855a 4500
001 012827642-8
005 20110805195229.0
008 101009s2011 xx |0| 0 eng d
020 $a9783642162770 (ebk.)
020 $a9783642162763
035 $a(Springer)9783642162763
040 $aSpringer
100 1 $aGiese, Holger.
245 10 $aModel-Based Engineering of Embedded Real-Time Systems :$bInternational Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /$cedited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2011.
300 $bv.: digital
650 24 $aSystem Performance and Evaluation.
650 24 $aSimulation and Modeling.
650 24 $aLogics and Meanings of Programs.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 24 $aProgramming Techniques.
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer simulation.
650 0 $aLogic design.
650 0 $aSoftware engineering.
650 0 $aComputer system performance.
650 0 $aComputer science.
700 1 $aKarsai, Gábor.
700 1 $aLee, Edward.
700 1 $aRumpe, Bernhard.
700 1 $aSchätz, Bernhard.
830 0 $aLecture notes in computer science ;$v6100.
988 $a20110715
906 $0VEN