Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016)
- Record Type:
- Book
- Title:
- Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /: first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. (2016)
- Main Title:
- Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
- Other Titles:
- SETSS 2014
- Further Information:
- Note: Edited by Zhiming Liu, Zili Zhang.
- Editors:
- Liu, Zhiming
Zhang, Zili - Other Names:
- International School on Engineering Trustworthy Software Systems, 1st
- Contents:
- (In- )formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component Systems -- Cyber-Physical Systems Engineering -- Combining Formal and Informal Methods in the Design of Spacecrafts.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xi, 325 pages), illustrations
- Subjects:
- 005.1
Computer science
Software engineering -- Congresses
Computer software -- Reliability -- Congresses
Computer software -- Reliability
Software engineering
Computers -- Programming -- General
Computers -- Programming Languages -- General
Computers -- Computer Simulation
Computers -- Expert Systems
Computer programming / software development
Programming & scripting languages: general
Computer modelling & simulation
Expert systems / knowledge-based systems
Software engineering
Logic design
Computer simulation
Computers -- Software Development & Engineering -- General
Software Engineering
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319296289
3319296280
3319296272
9783319296272 - Related ISBNs:
- 9783319296272
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed March 1, 2016).
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355571
- Ingest File:
- 01_316.xml