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

Mathematical Foundations of Software Engineering

Mathematical Foundations of Software Engineering

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

This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications. Topics and features: Addresses core mathematics for critical thinking and problem solving Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument. Examines number theory and its applications to cryptography Considers the underlying mathematics of error-correcting codes Discusses graph theory and its applications to modelling networks Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research Discusses software reliability and dependability and explains formal methods used to derive a program from its specification Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.

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

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Einkommensverteilung

$59.99

In Foreign Lands: The Migration of Scientists for Political or Economic Reasons

$179.99

Source Book of Flavors

$249.99

Shuri #3: Symbiosis (Hardcover)

$13.49

ber den Autismus

$69.99

Anwendungen der Kernmagnetischen Resonanz in der Organischen Chemie

$59.99

Berechnung von Gleichstrom-Kraftbertragungen

$59.99

Schlsselwerke fr die Kommunikationswissenschaft

$49.99

Engineering Vibration Analysis

$249.99

CALL Teacher Education

$39.99

Hemophilia Care in the New Millennium

$129.00

Basiswissen Marketing

$14.99

Biological Effects and Dosimetry of Nonionizing Radiation

$84.99

Proceedings of EcoComfort 2020

$169.99

Toward Social Internet of Things (SIoT): Enabling Technologies, Architectures and Applications

$84.99

Pharmacological Assays of Plant-Based Natural Products

$84.99

Skeletanatomie (Rntgendiagnostik) / Anatomy of the Skeletal System (Roentgen Diagnosis)

$44.99

OOIS98

$54.99

Handbook of Immunochemistry

$39.99

Impacts of Climate and Human Activities on Water Resources and Quality

$159.99

Medieval Paradigms: Volume II

$54.99

Recent Advances in Mechanical Engineering

$249.99

Love and Friendship Across Cultures

$39.99

Elektromagnete

$44.99

The Banking Sector In Hong Kong

$109.99

The Molecular Biology of Cell Determination and Cell Differentiation

$84.99

Diffusion in Materials

$329.99

Huser

$54.99

Geometric Programming for Design and Cost Optimization

$99.99

Herder-Jahrbuch / Herder Yearbook 1996

$39.99

Geschlecht und Macht

$69.99

Parameter Advising for Multiple Sequence Alignment

$54.99

Bifurcation of Extremals in Optimal Control

$29.99

Sozialversicherung

$59.99

Thin Liquid Films

$54.99

Atlas of Slices of the Temporal Bone and Adjacent Region

$74.99

The Confluent Hypergeometric Function

$54.99

Comparative Democratization and Peaceful Change in Single-Party-Dominant Countri

$139.99

Blocks of Finite Groups

$54.99

New Approaches to Discourse and Business Communication

$54.99