Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017)

• Record Type: Book
• Further Information: Note: Johann Blieberger, Markus Bader (eds.).
• Editors: Blieberger, Johann; Bader, Markus
• Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd
• Contents: Runtimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xiv, 251 pages), illustrations
• Subjects: 005; Computer science; Computer software -- Reliability -- Congresses; Computer software -- Reliability; Computers -- Software Development & Engineering -- General; Computers -- Expert Systems; Computers -- Programming -- General; Computers -- Operating Systems -- General; Software Engineering; Expert systems / knowledge-based systems; Computer programming / software development; Operating systems; Software engineering; Logic design; Operating systems (Computers); Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319605883; 3319605887; 3319605879; 9783319605876
• Related ISBNs: 9783319605876
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 9, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.