skip to content
Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA Preview this item
ClosePreview this item
Checking...

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA

Author: SIGAda.; Association for Computing Machinery.
Publisher: New York, N.Y. : Association for Computing Machinery, ©2005.
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: Conference papers and proceedings
Congresses
Additional Physical Format: Proceedings of the ACM SIGAda Annual International Conference (SIGAda2005)
(OCoLC)64662254
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: SIGAda.; Association for Computing Machinery.
ISBN: 1595931856 9781595931856
OCLC Number: 77552540
Notes: "ACM order number 825050"--Title page verso.
Also issued in print.
Reproduction Notes: Electronic reproduction. New York, N.Y. : Association for Computing Machinery, c2005. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through ACM Digital Library under title: Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies.
Description: viii, 115 pages : illustrations ; 28 cm
Other Titles: Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies.
Engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
ACM SIGAda Annual International Conference
SIGAda 2005
SIGAda'05
Responsibility: sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP [and others].

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/77552540> # Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "77552540" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/48590556#Place/new_york_n_y> ; # New York, N.Y.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/48590556#CreativeWork/proceedings_of_the_2005_annual_acm_sigada_international_conference_on_ada_the_engineering_of_correct_and_reliable_software_for_real_time_&_distributed_systems_using_ada_and_related_technologies> ; # Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies.
   schema:about <http://id.worldcat.org/fast/796426> ; # Ada (Computer program language)
   schema:about <http://dewey.info/class/005.133/e22/> ;
   schema:alternateName "SIGAda 2005" ;
   schema:alternateName "SIGAda'05" ;
   schema:alternateName "ACM SIGAda Annual International Conference" ;
   schema:alternateName "Engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/48590556#Organization/sigada> ; # SIGAda.
   schema:copyrightYear "2005" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/48590556#Meeting/sigada_conference_2005_atlanta_ga> ; # SIGAda (Conference) (2005 : Atlanta, Ga.)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/48590556> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/64662254> ;
   schema:name "Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA"@en ;
   schema:productID "77552540" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/77552540#PublicationEvent/new_york_n_y_association_for_computing_machinery_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/48590556#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
   schema:url <http://portal.acm.org/citation.cfm?id=1103846&coll=portal&dl=ACM&CFID=10860531&CFTOKEN=33791698> ;
   schema:workExample <http://worldcat.org/isbn/9781595931856> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/77552540> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/48590556#Agent/association_for_computing_machinery> # Association for Computing Machinery
    a bgn:Agent ;
   schema:name "Association for Computing Machinery" ;
    .

<http://experiment.worldcat.org/entity/work/data/48590556#CreativeWork/proceedings_of_the_2005_annual_acm_sigada_international_conference_on_ada_the_engineering_of_correct_and_reliable_software_for_real_time_&_distributed_systems_using_ada_and_related_technologies> # Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies.
    a schema:CreativeWork ;
   schema:name "Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies." ;
    .

<http://experiment.worldcat.org/entity/work/data/48590556#Meeting/sigada_conference_2005_atlanta_ga> # SIGAda (Conference) (2005 : Atlanta, Ga.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/48590556#Place/atlanta_ga> ; # Atlanta, Ga.)
   schema:name "SIGAda (Conference) (2005 : Atlanta, Ga.)" ;
    .

<http://id.worldcat.org/fast/796426> # Ada (Computer program language)
    a schema:Intangible ;
   schema:name "Ada (Computer program language)"@en ;
    .

<http://viaf.org/viaf/133611413> # Association for Computing Machinery.
    a schema:Organization ;
   schema:name "Association for Computing Machinery." ;
    .

<http://worldcat.org/isbn/9781595931856>
    a schema:ProductModel ;
   schema:isbn "1595931856" ;
   schema:isbn "9781595931856" ;
    .

<http://www.worldcat.org/oclc/64662254>
    a schema:CreativeWork ;
   rdfs:label "Proceedings of the ACM SIGAda Annual International Conference (SIGAda2005)" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/77552540> ; # Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA
    .

<http://www.worldcat.org/title/-/oclc/77552540>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/77552540> ; # Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) (electronic resource) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA
   schema:dateModified "2017-09-03" ;
   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.