skip to content
Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012 Preview this item
ClosePreview this item
Checking...

Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012

Author: Adam Morawiec; Jinnie Hinderscheit; Electronic Chips & Systems Design Initiative.
Publisher: Gières, France : Electronic Chips & Systems Design Initiative, ©2012.
Edition/Format:   eBook : Document : Conference publication : English
Database:WorldCat
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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Adam Morawiec; Jinnie Hinderscheit; Electronic Chips & Systems Design Initiative.
ISBN: 9782953050455 2953050450
OCLC Number: 830029189
Notes: "General chair: Jan Haase."
"FDL is an ECSI event!"
Title from PDF title page (IEEE Xplore, viewed on Apr. 3, 2013).
Description: 1 online resource (various pagings) : illustrations
Other Titles: 2012 Forum on Specification & Design Languages
Specification and Design Languages (FDL), 2012 Forum on
2012 Forum on Specification and Design Languages (FDL)
FDL 2012
Responsibility: [editors: Adam Morawiec, Jinnie Hinderscheit].

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/830029189> # Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "830029189" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1213111743#Place/gieres_france> ; # Gières, France
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1213111743#Topic/software_engineering> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/1200416> ; # Software architecture
   schema:about <http://experiment.worldcat.org/entity/work/data/1213111743#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://id.loc.gov/authorities/subjects/sh2004001071> ; # Software architecture
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:alternateName "2012 Forum on Specification & Design Languages" ;
   schema:alternateName "2012 Forum on Specification and Design Languages (FDL)" ;
   schema:alternateName "FDL 2012" ;
   schema:alternateName "Specification and Design Languages (FDL), 2012 Forum on" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/124181876> ; # Electronic Chips & Systems Design Initiative.
   schema:copyrightYear "2012" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1213111743#Meeting/fdl_conference_2012_vienna_austria> ; # FDL (Conference) (2012 : Vienna, Austria)
   schema:datePublished "2012" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/1213111743#Person/hinderscheit_jinnie> ; # Jinnie Hinderscheit
   schema:editor <http://viaf.org/viaf/232772258> ; # Adam Jan Morawiec
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1213111743> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012"@en ;
   schema:productID "830029189" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/830029189#PublicationEvent/gieres_france_electronic_chips_&_systems_design_initiative_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1213111743#Agent/electronic_chips_&_systems_design_initiative> ; # Electronic Chips & Systems Design Initiative
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=6330712> ;
   schema:url <http://ezproxy.uis.edu:2048/login?url=http://ieeexplore.ieee.org/servlet/opac?punumber=6330712> ;
   schema:workExample <http://worldcat.org/isbn/9782953050455> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/830029189> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1213111743#Agent/electronic_chips_&_systems_design_initiative> # Electronic Chips & Systems Design Initiative
    a bgn:Agent ;
   schema:name "Electronic Chips & Systems Design Initiative" ;
    .

<http://experiment.worldcat.org/entity/work/data/1213111743#Person/hinderscheit_jinnie> # Jinnie Hinderscheit
    a schema:Person ;
   schema:familyName "Hinderscheit" ;
   schema:givenName "Jinnie" ;
   schema:name "Jinnie Hinderscheit" ;
    .

<http://experiment.worldcat.org/entity/work/data/1213111743#Place/vienna_austria> # Vienna, Austria)
    a schema:Place ;
   schema:name "Vienna, Austria)" ;
    .

<http://id.loc.gov/authorities/subjects/sh2004001071> # Software architecture
    a schema:Intangible ;
   schema:name "Software architecture"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87005550> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1200416> # Software architecture
    a schema:Intangible ;
   schema:name "Software architecture"@en ;
    .

<http://id.worldcat.org/fast/872153> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/124181876> # Electronic Chips & Systems Design Initiative.
    a schema:Organization ;
   schema:name "Electronic Chips & Systems Design Initiative." ;
    .

<http://viaf.org/viaf/232772258> # Adam Jan Morawiec
    a schema:Person ;
   schema:familyName "Morawiec" ;
   schema:givenName "Adam Jan" ;
   schema:givenName "Adam" ;
   schema:name "Adam Jan Morawiec" ;
    .

<http://worldcat.org/isbn/9782953050455>
    a schema:ProductModel ;
   schema:isbn "2953050450" ;
   schema:isbn "9782953050455" ;
    .

<http://www.worldcat.org/title/-/oclc/830029189>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/830029189> ; # Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012
   schema:dateModified "2017-09-02" ;
   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.