skip to content
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures. Preview this item
ClosePreview this item
Checking...

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures.

Author: David Hutchison; Takeo Kanade; Josef Kittler
Publisher: Berlin/Heidelberg : Springer Berlin Heidelberg, 2004.
Edition/Format:   eBook : Document : English : N
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Hutchison, David.
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures.
Berlin/Heidelberg : Springer Berlin Heidelberg, ©2004
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Takeo Kanade; Josef Kittler
ISBN: 9783540301011 3540301011
OCLC Number: 953665607
Description: 1 online resource

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/953665607> # Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures.
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "953665607" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3503717429#Place/berlin_heidelberg> ; # Berlin/Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:bookEdition "N." ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3503717429#Person/kittler_josef> ; # Josef Kittler
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3503717429#Person/kanade_takeo> ; # Takeo Kanade
   schema:creator <http://experiment.worldcat.org/entity/work/data/3503717429#Person/hutchison_david> ; # David Hutchison
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3503717429> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/3503717429#CreativeWork/formal_methods_for_components_and_objects_second_international_symposium_fmco_2003_leiden_the_netherlands_november_4_7_2003_revised_lectures> ;
   schema:name "Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures."@en ;
   schema:productID "953665607" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/953665607#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3503717429#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3088459> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/b100112> ;
   schema:workExample <http://worldcat.org/isbn/9783540301011> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/953665607> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3503717429#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/3503717429#Person/hutchison_david> # David Hutchison
    a schema:Person ;
   schema:familyName "Hutchison" ;
   schema:givenName "David" ;
   schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/3503717429#Person/kanade_takeo> # Takeo Kanade
    a schema:Person ;
   schema:familyName "Kanade" ;
   schema:givenName "Takeo" ;
   schema:name "Takeo Kanade" ;
    .

<http://experiment.worldcat.org/entity/work/data/3503717429#Person/kittler_josef> # Josef Kittler
    a schema:Person ;
   schema:familyName "Kittler" ;
   schema:givenName "Josef" ;
   schema:name "Josef Kittler" ;
    .

<http://experiment.worldcat.org/entity/work/data/3503717429#Place/berlin_heidelberg> # Berlin/Heidelberg
    a schema:Place ;
   schema:name "Berlin/Heidelberg" ;
    .

<http://worldcat.org/entity/work/data/3503717429#CreativeWork/formal_methods_for_components_and_objects_second_international_symposium_fmco_2003_leiden_the_netherlands_november_4_7_2003_revised_lectures>
    a schema:CreativeWork ;
   rdfs:label "Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/953665607> ; # Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures.
    .

<http://worldcat.org/isbn/9783540301011>
    a schema:ProductModel ;
   schema:isbn "3540301011" ;
   schema:isbn "9783540301011" ;
    .

<http://www.worldcat.org/title/-/oclc/953665607>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/953665607> ; # Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures.
   schema:dateModified "2017-12-22" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.