DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Work while you have the light. You are responsible for the talent that has been entrusted to you.
Bowen, Jonathan P (Editor), and Liu, Zhiming (Editor), and Zhang, Zili (Editor)
author size: 16
USD
9.99
price size: 16
HPB-Red via Alibris /Alibris
dealer size: 16
Springer 2019 2019 ed. Paperback Good Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
ISBN10: 3030176002, ISBN13: 9783030176006, [publisher: Springer] Softcover Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! [Dallas, TX, U.S.A.] [Publication Year: 2019]
ISBN10: 3030176002, ISBN13: 9783030176006, [publisher: Springer International Publishing] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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 inChongqing, 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. [Einbeck, Germany] [Publication Year: 2019]
ISBN10: 3030176002, ISBN13: 9783030176006, [publisher: Springer International Publishing] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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 inChongqing, 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. [Einbeck, Germany] [Publication Year: 2019]
Bowen, Jonathan P (Editor), and Liu, Zhiming (Editor), and Zhang, Zili (Editor)
USD
71.39
Half Price Books Inc via Alibris /Alibris
Springer 2019 2019 ed. Paperback Good Connecting readers with great books since 1972. Used books may not include companion materials, some shelf wear, may contain highlighting/notes, and may not include cd-rom or access codes. Customer service is our top priority!
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. ISBN 3030176002 9783030176006 [GB]
Paperback / softback. New. This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; ISBN 3030176002 9783030176006 [GB]
Bowen Jonathan P. Editor/ Liu Zhiming Editor/ Zhang Zili Editor
USD
86.11
Revaluation Books /Biblio
Springer-Verlag New York Inc, Date: 2019. Paperback. New. 200 pages. 9.25x6.10x0.98 inches. 2019. Springer-Verlag New York Inc ISBN 3030176002 9783030176006 [GB]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.