LEADER 02359nlm0 22006251i 450 001 990009254380403321 010 $a9783540709305 035 $a000925438 035 $aFED01000925438 035 $a(Aleph)000925438FED01 035 $a000925438 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aModel-Driven Development of Reliable Automotive Services$bRisorsa elettronica$eSecond Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Broy, Ingolf H. Krüger, Michael Meisinger 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v4922 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBroy,$bManfred 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aKrüger,$bIngolf H. 702 1$aMattern,$bFriedemann 702 1$aMeisinger,$bMichael 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-70930-5 901 $aEB 912 $a990009254380403321 961 $aComputation by Abstract Devices 961 $aComputer science 961 $aComputer Science 961 $aComputer simulation 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aSimulation and Modeling 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSpecial Purpose and Application-Based Systems 996 $aModel-Driven Development of Reliable Automotive Services$9774371 997 $aUNINA