MARC record from Internet Archive

LEADER: 06175cam 2200913Ia 4500
001 ocn262690945
003 OCoLC
005 20200114033828.0
008 081017s2006 gw a ob 001 0 eng d
006 m o d
007 cr cn|||||||||
040 $aGW5XE$beng$epn$cGW5XE$dNUI$dE7B$dUBC$dOCLCQ$dAU@$dCEF$dA7U$dOCLCO$dOCLCQ$dOCLCF$dBEDGE$dSLY$dUV0$dJG0$dCOO$dMHW$dEBLCP$dOCLCQ$dDEBSZ$dOCLCQ$dCOD$dOCLCQ$dKKS$dDGU$dVT2$dUAB$dESU$dOCLCQ$dBUF$dSTF$dOCLCQ$dU3W$dOCLCQ$dICG$dLHU$dYOU$dOCLCQ$dAUD$dZHM$dWURST$dOCLCQ$dSFB
019 $a228163813$a228163815$a271428908$a288260490$a402269599$a607266229$a613658142$a646748099$a756428215$a809769436$a880111060$a985034465$a1005755289$a1035662777$a1040650333$a1044272420$a1056392763$a1105604323$a1110738454$a1125447717
020 $a9783540331933$q(online)
020 $a354033193X$q(online)
020 $a3540211500$q(v. 2 ;$qprint)
020 $a9783540211501$q(v. 2 ;$qprint)
027 $aSpringer eBook: Computer Science
035 $a(OCoLC)262690945$z(OCoLC)228163813$z(OCoLC)228163815$z(OCoLC)271428908$z(OCoLC)288260490$z(OCoLC)402269599$z(OCoLC)607266229$z(OCoLC)613658142$z(OCoLC)646748099$z(OCoLC)756428215$z(OCoLC)809769436$z(OCoLC)880111060$z(OCoLC)985034465$z(OCoLC)1005755289$z(OCoLC)1035662777$z(OCoLC)1040650333$z(OCoLC)1044272420$z(OCoLC)1056392763$z(OCoLC)1105604323$z(OCoLC)1110738454$z(OCoLC)1125447717
037 $a978-3-540-21150-1$bSpringer$nhttp://www.springerlink.com
050 4 $aQA76.758$b.B56 2006eb
082 04 $a005.1$222
084 $aTP311. 5$2clc
100 1 $aBj©ırner, D.$q(Dines),$d1937-
245 10 $aSoftware engineering .$n2,$pSpecification of systems and languages /$cD. Bjorner.
246 30 $aSpecification of systems and languages
260 $aBerlin :$bSpringer-Verlag,$c2006.
300 $a1 online resource (xxiv, 777 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aTexts in theoretical computer science . An EATCS series
504 $aIncludes bibliographical references (pages 751-777)-and indexes.
505 0 $a1. Abstraction and modelling -- v. 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
588 0 $aPrint version record.
520 $aThe art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
650 0 $aSoftware engineering.
650 0 $aComputer programming.
650 07 $aComputer programming.$2cct
650 07 $aSoftware engineering.$2cct
650 7 $aInformatique.$2eclas
650 7 $aComputer programming.$2fast$0(OCoLC)fst00872390
650 7 $aSoftware engineering.$2fast$0(OCoLC)fst01124185
653 00 $aprogrammeren
653 00 $aprogramming
653 00 $acomputerwetenschappen
653 00 $acomputer sciences
653 00 $aprogrammeertalen
653 00 $aprogramming languages
653 00 $asoftware engineering
653 10 $aInformation and Communication Technology (General)
653 10 $aInformatie- en communicatietechnologie (algemeen)
655 4 $aElectronic books.
773 0 $tSpringer e-books
776 08 $iPrint version:$aBj©ırner, D. (Dines), 1937-$tSoftware engineering . 2, Specification of systems and languages.$dBerlin : Springer-Verlag, 2006$z3540211500$z9783540211501$w(OCoLC)70148037
830 0 $aTexts in theoretical computer science.$pAn EATCS series.
856 40 $3ebrary$uhttp://site.ebrary.com/id/10230112
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=135083
856 40 $3ProQuest Ebook Central$uhttp://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=993120
856 40 $3Scholars Portal$uhttp://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/2/9783540331933
856 40 $3ScholarsPortal$uhttp://www.library.yorku.ca/eresolver/?id=1243280
856 40 $3SpringerLink$uhttps://doi.org/10.1007/978-3-540-33193-3
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-33193-3
856 40 $3SpringerLink$uhttp://link.springer.com/10.1007/978-3-540-33193-3
856 40 $3SpringerLink$uhttps://link.springer.com/openurl?genre=book&isbn=978-3-540-21150-1
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/978-3-540-33193-3
856 40 $3SpringerLink$uhttp://www.library.yorku.ca/eresolver/?id=1243279$zAn electronic book accessible through the World Wide Web; click for information
856 40 $uhttps://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-540-33193-3$zConnect to Springer e-book
856 40 $uhttp://ezproxy.st-andrews.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-540-33193-3$zConnect to e-book
856 40 $uhttp://dx.doi.org/10.1007/978-3-540-33193-3$xproxy
856 40 $uhttps://ebookcentral.proquest.com/lib/sfu-ebooks/detail.action?docID=993120$zFull text - Access for 3 simultaneous users.
938 $aProQuest Ebook Central$bEBLB$nEBL993120
938 $aebrary$bEBRY$nebr10230112
029 1 $aAU@$b000042693181
029 1 $aAU@$b000048716062
029 1 $aDEBSZ$b449317331
029 1 $aNZ1$b12057555
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 349 OTHER HOLDINGS