skip to content
Abstract State Machines 2004. Advances in Theory and Practice. Preview this item
ClosePreview this item
Checking...

Abstract State Machines 2004. Advances in Theory and Practice.

Author: Wolf Zimmermann; Bernhard Thalheim
Publisher: Berlin ; London : Springer, 2005.
Series: Lecture notes in computer science, 3052.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

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

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Kanade, Takeo.
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings.
Berlin/Heidelberg : Springer Berlin Heidelberg, ©2004
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolf Zimmermann; Bernhard Thalheim
ISBN: 3540247734 9783540247739 9783662189214 3662189216
OCLC Number: 243491398
Description: 1 online resource (245 pages).
Series Title: Lecture notes in computer science, 3052.

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/243491398> # Abstract State Machines 2004. Advances in Theory and Practice.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "243491398" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354062211#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/onc> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/62164507> ; # Bernhard Thalheim
    schema:contributor <http://viaf.org/viaf/30082550> ; # Wolf Zimmermann
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/354062211> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/354062211#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/354062211#CreativeWork/abstract_state_machines_2004_advances_in_theory_and_practice_11th_international_workshop_asm_2004_lutherstadt_wittenberg_germany_may_24_28_2004_proceedings> ;
    schema:name "Abstract State Machines 2004. Advances in Theory and Practice."@en ;
    schema:productID "243491398" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/243491398#PublicationEvent/berlin_london_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/354062211#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3052&issue=preprint> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-662-18921-4> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/b98118> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3088502> ;
    schema:workExample <http://worldcat.org/isbn/9783540247739> ;
    schema:workExample <http://worldcat.org/isbn/9783662189214> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/243491398> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/354062211#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/243491398> ; # Abstract State Machines 2004. Advances in Theory and Practice.
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://viaf.org/viaf/30082550> # Wolf Zimmermann
    a schema:Person ;
    schema:familyName "Zimmermann" ;
    schema:givenName "Wolf" ;
    schema:name "Wolf Zimmermann" ;
    .

<http://viaf.org/viaf/62164507> # Bernhard Thalheim
    a schema:Person ;
    schema:familyName "Thalheim" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Thalheim" ;
    .

<http://worldcat.org/entity/work/data/354062211#CreativeWork/abstract_state_machines_2004_advances_in_theory_and_practice_11th_international_workshop_asm_2004_lutherstadt_wittenberg_germany_may_24_28_2004_proceedings>
    a schema:CreativeWork ;
    rdfs:label "Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/243491398> ; # Abstract State Machines 2004. Advances in Theory and Practice.
    .

<http://worldcat.org/isbn/9783540247739>
    a schema:ProductModel ;
    schema:isbn "3540247734" ;
    schema:isbn "9783540247739" ;
    .

<http://worldcat.org/isbn/9783662189214>
    a schema:ProductModel ;
    schema:isbn "3662189216" ;
    schema:isbn "9783662189214" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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