Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Rigorous Software Development

Rigorous Software Development

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780857290182
Condition
New
Product Description

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Available Colors
Available Sizes
1 Offer Price Range: $29.99 - $29.99
BEST PRICE

Single Product Purchase

$29.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$29.99 $29.99

$29.99
See Site In stock Visit Store

Similar Products

Linear Operators and Approximation II / Lineare Operatoren und Approximation II

$69.99

Seismic Waves in Laterally Inhomogeneous Media

$54.99

Green Chemistry in Drug Discovery

$249.99

Digital Technologies and Distributed Registries for Sustainable Development

$159.99

Interfacial Processes and Molecular Aggregation of Surfactants

$219.99

Computer Vision - ECCV '94

$39.99

The USA, ILO, UNESCO and IAEA

$54.99

Fnfachsiges NC-Frsen

$59.99

Managing the New Public Services

$59.99

Drogen

$49.99

Advances in Artificial Intelligence

$54.99

Excel 2013 for Biological and Life Sciences Statistics

$39.99

Geotechnik

$99.00

Secure and Trustworthy Service Composition

$54.99

Accelerating Academia

$179.99

Das Individuum der Sozialen Arbeit

$69.99

Internet der Dinge

$119.99

CAD fr VLSI

$69.99

Surface Membrane Receptors

$39.99

Stromtarife fr Groabnehmer elektrischer Energie

$59.99

Implementing Models in Quantitative Finance: Methods and Cases

$84.99

Design Thinking etablieren

$59.99

Demonstrationsexperimente gestalten

$34.99

Multi-Robot Systems: From Swarms to Intelligent Automata, Volume II

$169.99

Omics Approaches to Understanding Muscle Biology

$159.99

Applied Computational Intelligence in Engineering and Information Technology

$169.99

Geomorphological impacts of extreme weather

$169.99

e-Infrastructure and e-Services for Developing Countries

$39.99

Recursion Theory and Computational Complexity

$49.95

Going Places

$5.21

Introduction to Commutative Algebra and Algebraic Geometry

$79.99

Dynamic Response of Linear Mechanical Systems

$39.99

Principles of Genetic Toxicology

$109.99

Urban Identity and the Atlantic World

$39.99

Science Education Research and Practice in Europe

$49.99

Entstehung und Entwickelung der Laryngoskopie

$59.99

The International Allocation of Economic Activity

$169.99

Cavity Optomechanics

$219.99

Advances in Multimedia Information Processing - PCM 2007

$84.99

Information Technology, Systems Research, and Computational Physics

$129.00