MARC record from Internet Archive

LEADER: 05423cam 2200805Ia 4500
001 ocn262693823
003 OCoLC
005 20181018060217.0
008 081017s2006 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
040 $aGW5XE$beng$epn$cGW5XE$dOCLCQ$dGZM$dBAKER$dCOO$dYNG$dNUI$dMNU$dE7B$dOCLCO$dOCLCQ$dOCLCA$dOCLCF$dBEDGE$dITD$dOCLCO$dIDEBK$dOCLCQ$dOCL$dOCLCO$dOCLCQ$dEBLCP$dESU$dOCLCQ$dUAB$dU3W$dOCLCQ
019 $a71843094$a222316207$a288238175$a613491824$a739130028$a767217890$a785778651
020 $a9783540367505
020 $a3540367500
020 $a3540367497
020 $a9783540367499
035 $a(OCoLC)262693823$z(OCoLC)71843094$z(OCoLC)222316207$z(OCoLC)288238175$z(OCoLC)613491824$z(OCoLC)739130028$z(OCoLC)767217890$z(OCoLC)785778651
037 $a978-3-540-36749-9$bSpringer$nhttp://www.springerlink.com
050 4 $aQA76.9.F67$bF53 2005
072 7 $aQA$2lcco
082 04 $a005.13/1$222
111 2 $aFMCO (Symposium)$n(4th :$d2005 :$cAmsterdam, Netherlands)
245 10 $aFormal methods for components and objects :$b4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures /$cFrank S. de Boer [and others] (eds.).
246 30 $aFMCO 2005
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2006.
300 $a1 online resource (viii, 427 pages) :$billustrations.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4111.$aState-of-the-art survey
504 $aIncludes bibliographical references and index.
588 0 $aPrint version record.
520 $aFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, quantitative analysis.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComponent software$vCongresses.
650 0 $aObject-oriented programming (Computer science)$vCongresses.
650 6 $aApproche oriente e objet (Informatique)$vCongre s.
650 6 $aComposants logiciels$vCongre s.
650 6 $aMe thodes formelles (Informatique)$vCongre s.
650 7 $aInformatique.$2eclas
650 7 $aComponent software.$2fast$0(OCoLC)fst00871617
650 7 $aFormal methods (Computer science)$2fast$0(OCoLC)fst00932926
650 7 $aObject-oriented programming (Computer science)$2fast$0(OCoLC)fst01042804
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aBoer, Frank S. de.
776 08 $iPrint version:$aFMCO 2005 (2005 : Amsterdam, Netherlands).$tFormal methods for components and objects.$dBerlin ; New York : Springer, ℗♭2006$z3540367497$z9783540367499$w(DLC) 2006930291$w(OCoLC)71008339
830 0 $aLecture notes in computer science ;$v4111.
830 0 $aLecture notes in computer science.$pState-of-the-art survey.
856 40 $3ebrary$uhttp://site.ebrary.com/id/10530298
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=139254
856 40 $3OhioLINK$uhttp://rave.ohiolink.edu/ebooks/ebc/11804192
856 40 $3SpringerLink$uhttp://dx.doi.org/10.1007/11804192
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4111
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-36749-9
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0825/2006930291-d.html
856 40 $zClick here to view book$uhttp://public.eblib.com/choice/PublicFullRecord.aspx?p=3068048$3Ebook Library
856 40 $uhttps://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/11804192
856 40 $uhttps://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11804192$zConnect to Springer e-book
856 40 $uhttps://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/11804192$zConnect to Springer e-book
938 $aBaker & Taylor$bBKTY$c79.95$d79.95$i3540367497$n0006930305$sactive
938 $aebrary$bEBRY$nebr10530298
938 $aProQuest MyiLibrary Digital eBook Collection$bIDEB$ncis23799290
938 $aEBL - Ebook Library$bEBLB$nEBL3068048
029 1 $aAU@$b000048698986
029 1 $aHEBIS$b192076078
029 1 $aAU@$b000060029481
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 365 OTHER HOLDINGS