Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Engineering Trustworthy Software Systems
Best Price (Coupon Required):
Buy Engineering Trustworthy Software Systems for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$49.99 | $49.99 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
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 Bchi 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.
Reviews
Questions & Answers
Concepts and Approaches in Evolutionary Epistemology
$129.00
Current Achievements, Challenges and Digital Chances of Knowledge Based Economy
$219.99
Visuelle Kommunikationsforschung
$64.99
Fundamentals of Metallurgical Thermodynamics
$129.00
Pattern Recognition in Bioinformatics
$54.99
The Conceptual Completion and Extensions of Quantum Mechanics 1932-1941. Epilogue: Aspects of the Fu
$379.99
Ownership of Trust Property in China
$109.99
Prsentieren in Schule, Studium und Beruf
$44.99
Bone Mineral Metabolism in Cancer
$84.99
Multiparticle Quantum Scattering with Applications to Nuclear, Atomic and Molecular Physics
$39.99
The Palgrave Handbook of ESG and Corporate Governance
$199.99
Sozialpsychologie Der Mensch in sozialen Beziehungen
$34.99
Laminated Composite Plates and Shells
$169.99
Key Digital Trends in Artificial Intelligence and Robotics
$149.00
Can Planning Replace Politics?
$109.99
Advances and Technical Standards in Neurosurgery
$84.99
Mobile Networks and Management
$39.99
Elektronenmikroskopische Methodik
$54.99
Language Learning of Adult Migrants in Europe
$129.00
Berufliche Bewltigungsstrategien und Behinderung
$59.99
Policy Learning and British Governance in the 1960s
$54.99
Modern Methods of Plant Analysis / Moderne Methoden der Pflanzenanalyse
$119.00
Late Neoliberalism and its Discontents in the Economic Crisis
$109.99
Lehrbuch der pharmazeutischen Biologie
$49.99
Molecular Basis of Lymphokine Action
$169.00
Lipidomics in Health & Disease
$109.99
Political Advertising in the 2014 European Parliament Elections
$54.99
Carbon Nanotube Based VLSI Interconnects
$39.99
Winning Ways through Corporate Governance
$54.99
Ronald J. Fisher: A North American Pioneer in Interactive Conflict Resolution
$54.99
Geometry of Submanifolds and Applications
$139.99
IGFs in the Nervous System
$54.99
Convergence or Divergence in Europe?
$109.99
Phi-features and the Modular Architecture of Language
$109.99
Analytics for the Sharing Economy: Mathematics, Engineering and Business Perspectives
$109.00
Deutsches Reichs- und Landesstaatsrecht
$59.99
Cockroaches from Jurassic sediments of the Bakhar Formation in Mongolia
$39.99
Nanostructured Catalysts
$129.00
Steueroptimierter Unternehmenskauf
$59.99
Baby Animals With Their Families
$21.95
