skip to content
Specification and verification of declarative open interaction models : a logic-based approach Preview this item
ClosePreview this item
Checking...

Specification and verification of declarative open interaction models : a logic-based approach

Author: Marco Montali
Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010.
Series: Lecture notes in business information processing, 56.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:

Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to  Read more...

Rating:

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

Subjects
More like this

 

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:
Montali, Marco.
Specification and verification of declarative open interaction models.
Berlin : Springer, ©2010
(DLC) 2010931106
(OCoLC)648933593
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marco Montali
ISBN: 9783642145384 3642145388
OCLC Number: 663096123
Description: 1 online resource (xxii, 411 pages).
Contents: pt. 1. Specification --
pt. 2. Static verification --
pt. 3. Run-time and a-posteriori verification --
pt. 4. Conclusion and future work.
Series Title: Lecture notes in business information processing, 56.
Responsibility: Marco Montali.

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/663096123> # Specification and verification of declarative open interaction models : a logic-based approach
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "663096123" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793615576#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793615576#Place/heidelberg> ; # Heidelberg
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://dewey.info/class/005.1015113/e22/> ;
    schema:about <http://id.worldcat.org/fast/1007271> ; # Management information systems
    schema:about <http://id.worldcat.org/fast/1743783> ; # Declarative programming languages
    schema:about <http://id.worldcat.org/fast/871995> ; # Computational intelligence
    schema:about <http://id.worldcat.org/fast/973089> ; # Information technology
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/793615576#Topic/business> ; # Business
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2010" ;
    schema:creator <http://viaf.org/viaf/159038029> ; # Marco Montali
    schema:datePublished "2010" ;
    schema:description "pt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793615576> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793615576#Series/lecture_notes_in_business_information_processing> ; # Lecture notes in business information processing ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/648933593> ;
    schema:name "Specification and verification of declarative open interaction models : a logic-based approach"@en ;
    schema:productID "663096123" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/663096123#PublicationEvent/berlin_heidelberg_springer_verlag_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793615576#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=338016> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-14538-4> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-02-17/2/9783642145384> ;
    schema:workExample <http://worldcat.org/isbn/9783642145384> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/663096123> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/793615576#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Series/lecture_notes_in_business_information_processing> # Lecture notes in business information processing ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    schema:name "Lecture notes in business information processing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/793615576#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://id.worldcat.org/fast/1007271> # Management information systems
    a schema:Intangible ;
    schema:name "Management information systems"@en ;
    .

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

<http://id.worldcat.org/fast/871995> # Computational intelligence
    a schema:Intangible ;
    schema:name "Computational intelligence"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/973089> # Information technology
    a schema:Intangible ;
    schema:name "Information technology"@en ;
    .

<http://viaf.org/viaf/159038029> # Marco Montali
    a schema:Person ;
    schema:familyName "Montali" ;
    schema:givenName "Marco" ;
    schema:name "Marco Montali" ;
    .

<http://worldcat.org/isbn/9783642145384>
    a schema:ProductModel ;
    schema:isbn "3642145388" ;
    schema:isbn "9783642145384" ;
    .

<http://www.worldcat.org/oclc/648933593>
    a schema:CreativeWork ;
    rdfs:label "Specification and verification of declarative open interaction models." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    .

<http://www.worldcat.org/title/-/oclc/663096123>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/663096123> ; # Specification and verification of declarative open interaction models : a logic-based approach
    schema:dateModified "2016-06-16" ;
    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.