skip to content
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques Preview this item
ClosePreview this item
Checking...

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

Author: Dieter Hogrefe; Stefan Leue; International Federation for Information Processing.
Publisher: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Dieter Hogrefe; Stefan Leue; International Federation for Information Processing.
ISBN: 0412644509 9780412644504
OCLC Number: 32346774
Notes: Includes index.
Description: x, 520 pages : illustrations ; 24 cm
Contents: Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.
Responsibility: edited by Dieter Hogrefe and Stefan Leue.

Reviews

Editorial reviews

Publisher Synopsis

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but Read more...

 
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/32346774> # Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "32346774" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/electronic_data_processing_distributed_processing_protocols> ; # Electronic data processing--Distributed processing--Protocols
    schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/traitement_reparti_congres> ; # Traitement réparti--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Thing/computers> ; # Computers
    schema:about <http://dewey.info/class/004.62/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/protocoles_de_reseaux_d_ordinateurs_congres> ; # Protocoles de réseaux d'ordinateurs--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/formal_languages> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/498530628#Topic/langages_formels_congres> ; # Langages formels--Congrès
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/133327008> ; # International Federation for Information Processing.
    schema:contributor <http://viaf.org/viaf/59686785> ; # Dieter Hogrefe
    schema:contributor <http://viaf.org/viaf/47859772> ; # Stefan Leue
    schema:creator <http://experiment.worldcat.org/entity/work/data/498530628#Meeting/forte_conference_7th_1994_berne_switzerland> ; # FORTE Conference (7th : 1994 : Berne, Switzerland)
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/498530628> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:name "Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques"@en ;
    schema:productID "32346774" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/32346774#PublicationEvent/london_chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/498530628#Agent/chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip> ; # Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
    schema:workExample <http://worldcat.org/isbn/9780412644504> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9529046> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/32346774> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/498530628#Agent/chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip> # Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
    a bgn:Agent ;
    schema:name "Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)" ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Meeting/forte_conference_7th_1994_berne_switzerland> # FORTE Conference (7th : 1994 : Berne, Switzerland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/498530628#Place/berne_switzerland> ; # Berne, Switzerland)
    schema:name "FORTE Conference (7th : 1994 : Berne, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Place/berne_switzerland> # Berne, Switzerland)
    a schema:Place ;
    schema:name "Berne, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Topic/electronic_data_processing_distributed_processing_protocols> # Electronic data processing--Distributed processing--Protocols
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85042293> ;
    schema:name "Electronic data processing--Distributed processing--Protocols"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Topic/langages_formels_congres> # Langages formels--Congrès
    a schema:Intangible ;
    schema:name "Langages formels--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Topic/protocoles_de_reseaux_d_ordinateurs_congres> # Protocoles de réseaux d'ordinateurs--Congrès
    a schema:Intangible ;
    schema:name "Protocoles de réseaux d'ordinateurs--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/498530628#Topic/traitement_reparti_congres> # Traitement réparti--Congrès
    a schema:Intangible ;
    schema:name "Traitement réparti--Congrès"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85042293> ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/133327008> # International Federation for Information Processing.
    a schema:Organization ;
    schema:name "International Federation for Information Processing." ;
    .

<http://viaf.org/viaf/47859772> # Stefan Leue
    a schema:Person ;
    schema:familyName "Leue" ;
    schema:givenName "Stefan" ;
    schema:name "Stefan Leue" ;
    .

<http://viaf.org/viaf/59686785> # Dieter Hogrefe
    a schema:Person ;
    schema:familyName "Hogrefe" ;
    schema:givenName "Dieter" ;
    schema:name "Dieter Hogrefe" ;
    .

<http://worldcat.org/isbn/9780412644504>
    a schema:ProductModel ;
    schema:isbn "0412644509" ;
    schema:isbn "9780412644504" ;
    .

<http://www.worldcat.org/title/-/oclc/32346774>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/32346774> ; # Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
    schema:dateModified "2018-03-31" ;
    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.