Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tuto, (Paperback)
(No ratings yet)
Key item features
- Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tuto, (Paperback)
- Author: Springer
- ISBN: 9783030176006
- Format: Paperback
- Publication Date: 2019-04-14
- Page Count: 237
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateApril, 2019
- Pages237
- Series titleNo Series
Current price is USD$64.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Wed, May 20
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (3)
Starting from $65.54
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.
The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
- Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tuto, (Paperback)
- Author: Springer
- ISBN: 9783030176006
- Format: Paperback
- Publication Date: 2019-04-14
- Page Count: 237
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
April, 2019
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Breakneck: China's Quest to Engineer the Future, (Hardcover) $25.36
$2536current price $25.36Breakneck: China's Quest to Engineer the Future, (Hardcover)
44.3 out of 5 Stars. 4 reviewsInteractive Technologies and Sociotechnical Systems: 12th International Conference, VSMM 2006, Xi'an, China, October 18-, (Paperback) $56.14
$5614current price $56.14Interactive Technologies and Sociotechnical Systems: 12th International Conference, VSMM 2006, Xi'an, China, October 18-, (Paperback)
Lecture Notes in Computer Science Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tut, Book 15584, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tut, Book 15584, (Paperback)
Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2,, (Paperback) $56.42
$5642current price $56.42Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2,, (Paperback)
Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014, (Paperback) $56.14
$5614current price $56.14Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014, (Paperback)
China Academic Library To Build a Harmonious World: Ideal of Traditional Chinese Thinking, (Paperback) $54.99
$5499current price $54.99China Academic Library To Build a Harmonious World: Ideal of Traditional Chinese Thinking, (Paperback)
Information Security Practice and Experience: 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 201, (Paperback) $54.94
$5494current price $54.94Information Security Practice and Experience: 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 201, (Paperback)
Studies on the Chinese Economy The Dynamics of China's Rejuvenation, (Paperback) $57.37
$5737current price $57.37Studies on the Chinese Economy The Dynamics of China's Rejuvenation, (Paperback)
Stepping Forth into the World : The Chinese Educational Mission to the United States, 1872–81 (Hardcover) $55.33
$5533current price $55.33Stepping Forth into the World : The Chinese Educational Mission to the United States, 1872–81 (Hardcover)
Intelligent Computing Technology: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedin, (Paperback) $54.99
$5499current price $54.99Intelligent Computing Technology: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedin, (Paperback)
Engineering Teaching in China's Higher Education: A Social Realist Approach, (Paperback) $55.99
$5599current price $55.99Engineering Teaching in China's Higher Education: A Social Realist Approach, (Paperback)
Studies on Contemporary China (M.E. Shar Local Government and Politics in China: Challenges from Below, (Paperback) $70.99
$7099current price $70.99Studies on Contemporary China (M.E. Shar Local Government and Politics in China: Challenges from Below, (Paperback)
Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback) $63.07
$6307current price $63.07Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback)
Bourdieu and Education of Asia Pacific Recontextualising and Recontesting Bourdieu in Chinese Education: Habitus, Mobility and Language, (Paperback) $55.99
$5599current price $55.99Bourdieu and Education of Asia Pacific Recontextualising and Recontesting Bourdieu in Chinese Education: Habitus, Mobility and Language, (Paperback)
China Perspectives Historical Phonology of Chinese, (Paperback) $63.70
$6370current price $63.70China Perspectives Historical Phonology of Chinese, (Paperback)
Studies on Contemporary China (M.E. Shar American Studies of Contemporary China, (Paperback) $49.59
$4959current price $49.59Studies on Contemporary China (M.E. Shar American Studies of Contemporary China, (Paperback)
China Today: Guanxi, How China Works (Hardcover) $63.42
$6342current price $63.42China Today: Guanxi, How China Works (Hardcover)
Hybrid Learning and Education: First International Conference, Ichl 2008 Hong Kong, China, August 13-15, 2008 Proceeding, (Paperback) $54.99
$5499current price $54.99Hybrid Learning and Education: First International Conference, Ichl 2008 Hong Kong, China, August 13-15, 2008 Proceeding, (Paperback)
Intelligent Robotics and Applications: 7th International Conference, Icira 2014, Guangzhou, China, December 17-20, 2014,, (Paperback) $56.14
$5614current price $56.14Intelligent Robotics and Applications: 7th International Conference, Icira 2014, Guangzhou, China, December 17-20, 2014,, (Paperback)
China Quarterly Special Issues China and Africa: Volume 9: Emerging Patterns in Globalization and Development, Book 9, (Paperback) $55.00
$5500current price $55.00China Quarterly Special Issues China and Africa: Volume 9: Emerging Patterns in Globalization and Development, Book 9, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Iec 61131 Programming Languages
- Ais Application
- Scala Programs
- Best Sellers In Media Communications Industry
- Media Innovation
- Managing Technology Innovation
- General Enterprise Applications Books
- Vendor Specific Books
- General Desktop Applications Books
- Electronic Commerce Books
- Computers & Information Technology Industry Books
- Data Processing Books