| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311125311:1410 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311125311:1410?format=raw |
LEADER: 01410nam a22003615a 4500
001 013276068-1
005 20120706200223.0
008 120418s2012 gw | s ||0| 0|eng d
020 $a9783642298349$99783642298349 (ebk.)
020 $a9783642298349
024 7 $a10.1007/978-3-642-29834-9$2doi
035 $a(Springer)9783642298349
040 $aSpringer
100 1 $aCarbone, Marco.
245 10 $aWeb Services and Formal Methods :$b8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /$cedited by Marco Carbone, Jean-Marc Petit.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2012.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7176
650 20 $aInformation retrieval.
650 20 $aInformation organization.
650 20 $aSoftware engineering.
650 24 $aInformation Systems Applications (incl. Internet)
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aSoftware engineering.
650 0 $aInformation storage and retrieval systems.
650 0 $aInformation Systems.
650 24 $aManagement of Computing and Information Systems.
650 24 $aUser Interfaces and Human Computer Interaction.
700 1 $aPetit, Jean-Marc.
776 08 $iPrinted edition:$z9783642298332
830 0 $aLecture notes in computer science ;$v7176.
988 $a20120629
906 $0VEN