skip to content
Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus Preview this item
ClosePreview this item
Checking...

Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus

Author: María Alpuente; Santiago Escobar; Moreno Falaschi; IEEE Computer Society.
Publisher: Los Alamitos, Calif. : IEEE Computer Society, ©2007.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

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
Conference papers and proceedings
Electronic book
Congresses
Additional Physical Format: Print version:
Automated specification and verification of web systems.
Los Alamitos, Calif. : IEEE Computer Society, ©2007
(DLC) 2007921743
(OCoLC)123448515
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: María Alpuente; Santiago Escobar; Moreno Falaschi; IEEE Computer Society.
OCLC Number: 133180079
Notes: "IEEE Computer Society Order Number P2826"--Page 4 of cover.
Description: 1 online resource (71, [v] pages) : illustrations
Other Titles: Selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06)
Leveraging applications of formal methods, verification, and validation
WWV '06
ISoLA 2006
Responsibility: María Alpuente, Santiago Escobar, Moreno Falaschi (eds.).

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/133180079> # Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "133180079" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/102198902#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
    schema:about <http://id.worldcat.org/fast/977184> ; # Internet
    schema:about <http://experiment.worldcat.org/entity/work/data/102198902#Topic/internet> ; # Internet
    schema:about <http://experiment.worldcat.org/entity/work/data/102198902#Topic/world_wide_web> ; # World Wide Web
    schema:about <http://id.worldcat.org/fast/1181326> ; # World Wide Web
    schema:about <http://dewey.info/class/004.678/e22/> ;
    schema:alternateName "Leveraging applications of formal methods, verification, and validation" ;
    schema:alternateName "WWV '06" ;
    schema:alternateName "ISoLA 2006" ;
    schema:alternateName "Selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06)" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/102198902#Meeting/international_workshop_on_automated_specification_and_verification_of_web_systems_2nd_2007_paphos_cyprus> ; # International Workshop on Automated Specification and Verification of Web Systems (2nd : 2007 : Paphos, Cyprus)
    schema:contributor <http://viaf.org/viaf/145122972> ; # IEEE Computer Society.
    schema:contributor <http://viaf.org/viaf/25472065> ; # María Alpuente
    schema:contributor <http://viaf.org/viaf/312856879> ; # Santiago Escobar
    schema:contributor <http://experiment.worldcat.org/entity/work/data/102198902#Meeting/isola_2006_2006_paphos_cyprus> ; # ISoLA 2006 (2006 : Paphos, Cyprus)
    schema:contributor <http://viaf.org/viaf/883145857878723020121> ; # Moreno Falaschi
    schema:copyrightYear "2007" ;
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/102198902> ;
    schema:genre "Electronic book"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/123448515> ;
    schema:name "Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus"@en ;
    schema:productID "133180079" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/133180079#PublicationEvent/los_alamitos_calif_ieee_computer_society_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/102198902#Agent/ieee_computer_society> ; # IEEE Computer Society
    schema:url <https://ieeexplore.ieee.org/servlet/opac?punumber=4155975> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000393806&T=marc&tab=BOOKS> ;
    schema:url <http://liverpool.idm.oclc.org/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=4155975> ;
    schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=4155975> ;
    schema:url <https://proxy.library.carleton.ca/login?url=https://ieeexplore.ieee.org/servlet/opac?punumber=4155975> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/133180079> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/102198902#Agent/ieee_computer_society> # IEEE Computer Society
    a bgn:Agent ;
    schema:name "IEEE Computer Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/102198902#Meeting/international_workshop_on_automated_specification_and_verification_of_web_systems_2nd_2007_paphos_cyprus> # International Workshop on Automated Specification and Verification of Web Systems (2nd : 2007 : Paphos, Cyprus)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/102198902#Place/paphos_cyprus> ; # Paphos, Cyprus)
    schema:name "International Workshop on Automated Specification and Verification of Web Systems (2nd : 2007 : Paphos, Cyprus)" ;
    .

<http://experiment.worldcat.org/entity/work/data/102198902#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
    schema:name "Los Alamitos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/102198902#Place/paphos_cyprus> # Paphos, Cyprus)
    a schema:Place ;
    schema:name "Paphos, Cyprus)" ;
    .

<http://id.worldcat.org/fast/1181326> # World Wide Web
    a schema:Intangible ;
    schema:name "World Wide Web"@en ;
    .

<http://id.worldcat.org/fast/977184> # Internet
    a schema:Intangible ;
    schema:name "Internet"@en ;
    .

<http://viaf.org/viaf/145122972> # IEEE Computer Society.
    a schema:Organization ;
    schema:name "IEEE Computer Society." ;
    .

<http://viaf.org/viaf/25472065> # María Alpuente
    a schema:Person ;
    schema:familyName "Alpuente" ;
    schema:givenName "María" ;
    schema:name "María Alpuente" ;
    .

<http://viaf.org/viaf/312856879> # Santiago Escobar
    a schema:Person ;
    schema:familyName "Escobar" ;
    schema:givenName "Santiago" ;
    schema:name "Santiago Escobar" ;
    .

<http://viaf.org/viaf/883145857878723020121> # Moreno Falaschi
    a schema:Person ;
    schema:familyName "Falaschi" ;
    schema:givenName "Moreno" ;
    schema:name "Moreno Falaschi" ;
    .

<http://www.worldcat.org/oclc/123448515>
    a schema:CreativeWork ;
    rdfs:label "Automated specification and verification of web systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/133180079> ; # Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus
    .

<http://www.worldcat.org/title/-/oclc/133180079>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/133180079> ; # Automated specification and verification of web systems : selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus
    schema:dateModified "2018-12-01" ;
    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.