| Record ID | ia:formalmethodsfor0000inte |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formalmethodsfor0000inte/formalmethodsfor0000inte_marc.xml |
| Download MARC binary | https://www.archive.org/download/formalmethodsfor0000inte/formalmethodsfor0000inte_meta.mrc |
LEADER: 05031cam 2200817Ia 4500
001 ocn745002699
003 OCoLC
005 20180624230151.0
008 110804s2011 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
010 $z 2011928397
040 $aGW5XE$beng$epn$cGW5XE$dOCLCQ$dC$Q$dCUS$dE7B$dUKMGB$dOCLCQ$dNLGGC$dOCLCO$dMEAUC$dOCLCQ$dOCLCF$dBEDGE$dOCLCQ$dOCLCO$dCOO$dYDXCP$dOCL$dOCLCO$dOCLCQ$dOCLCO$dEBLCP$dOCLCQ$dVT2$dESU$dOCLCQ$dSHS$dIOG$dBUF
016 7 $a015824515$2Uk
019 $a740873417$a742515916$a769768385$a904052828$a964876904$a1005777614
020 $a9783642214554$q(electronic bk.)
020 $a364221455X$q(electronic bk.)
020 $z3642214541
020 $z9783642214547
024 7 $a10.1007/978-3-642-21455-4$2doi
035 $a(OCoLC)745002699$z(OCoLC)740873417$z(OCoLC)742515916$z(OCoLC)769768385$z(OCoLC)904052828$z(OCoLC)964876904$z(OCoLC)1005777614
050 4 $aQA76.9.F67$bI58 2011
072 7 $aUMZ$2bicssc
072 7 $aCOM051230$2bisacsh
082 04 $a004.01/51$223
084 $a54.53$2bcl
111 2 $aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems$n(11th :$d2011 :$cBertinoro, Italy)
245 10 $aFormal methods for eternal networked software systems :$b11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures /$cMarco Bernardo, Vale rie Issarny (eds.).
246 30 $aSFM 2011
260 $aBerlin ;$aHeidelberg ;$aNew York :$bSpringer,$c℗♭2011.
300 $a1 online resource (viii, 526 pages).
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aLecture notes in computer science,$x0302-9743 ;$v6659
490 1 $aTutorial
490 1 $aLNCS sublibrary. SL 2, Programming and software engineering
504 $aIncludes bibliographical references and author index.
520 $aThis book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.
588 0 $aPrint version record.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer networks$vCongresses.
650 7 $aInformatique.$2eclas
650 7 $aComputer networks.$2fast$0(OCoLC)fst00872297
650 7 $aFormal methods (Computer science)$2fast$0(OCoLC)fst00932926
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aBernardo, Marco.
700 1 $aIssarny, Vale rie.
776 08 $iPrint version:$tFormal Methods for Eternal Networked Software Systems.$dSpringer-Verlag New York Inc 2011$z9783642214547$w(DLC) 2011928397$w(OCoLC)731919791
830 0 $aLecture notes in computer science ;$v6659.$x0302-9743
830 0 $aLecture notes in computer science.$pTutorial.
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
856 40 $3Ebook Library$uhttp://public.eblib.com/choice/publicfullrecord.aspx?p=3066831
856 40 $3ebrary$uhttp://site.ebrary.com/id/10479077
856 40 $3SpringerLink$uhttp://dx.doi.org/10.1007/978-3-642-21455-4
856 40 $3SpringerLink$uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-21454-7
856 40 $uhttps://link.springer.com/openurl?genre=book&isbn=978-3-642-21454-7
856 40 $uhttps://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-21455-4$zAccess Springer Electronic Book
856 40 $3Click to access in SpringerLink$uhttp://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-21455-4
938 $aEBL - Ebook Library$bEBLB$nEBL3066831
938 $aebrary$bEBRY$nebr10479077
938 $aYBP Library Services$bYANK$n6959230
029 1 $aAU@$b000048775079
029 1 $aDKDLA$b820120-katalog:000461451
029 1 $aDKDLA$b820120-katalog:000686751
029 1 $aNLGGC$b335908896
029 1 $aNZ1$b13851661
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 378 OTHER HOLDINGS