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

Formal Methods

Formal Methods

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

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Patentism Replacing Capitalism

$59.99

The Holocaust and French Historical Culture, 194565

$54.99

Output Regulation of Uncertain Nonlinear Systems

$84.99

Machine Learning for Oracle Database Professionals

$69.99

A Dictionary of Neuropsychology

$54.99

Health Web Science

$39.99

Exploring Service Productivity

$54.99

Tubulointerstitial Nephritis

$99.00

Ganzheitliches Risikomanagement in Industriebetrieben

$69.99

Martha Stewart's Cookie Perfection: 100+ Recipes to Take Your Sweet Treats to the Next Level: A Baking Book by Martha Stewart Living

$28.99

Communication in Cancer Care

$74.99

Communicating Creativity

$84.99

Antioxidants and Cardiovascular Disease

$169.99

The Prison Cell

$159.99

Mouse Oocyte Development

$109.99

Boundary Value Problems of Finite Elasticity

$39.99

Teaching International Relations in a Time of Disruption

$64.99

Zukunft der Soziologie des Alter(n)s

$64.99

Pro Silverlight C# 2008

$49.99

Die systematische Nomenklatur der Organischen Chemie

$54.99

konometrie

$39.99

Hygiene and Sanitation (Gesundheitsbchlein)

$69.99

Current Issues in Liver and Bowel Transplantation

$189.00

Learning through Collaboration in Self-Study

$159.99

Challenges to African Entrepreneurship in the 21st Century

$129.99

Introduction to Nonextensive Statistical Mechanics

$79.99

Underwater Acoustics and Signal Processing

$329.99

Sharing RF Spectrum with Commodity Wireless Technologies

$129.00

Russisches und Orientalisches Eherecht

$54.99

Sharp Inequalities for Ordered Random Variables in Statistics and Reliability

$159.99

Praxishandbuch Habitussensibilitt und Diversitt in der Hochschullehre

$119.99

Introduction to Skin Biothermomechanics and Thermal Pain

$189.00

Teaching About Hegemony

$109.99

Das internationale Kreditgeschft der Banken

$69.99

The Limbic System

$54.99

Acarine Biocontrol Agents

$169.99

Stanley Cavell on Aesthetic Understanding

$139.99

Affinity Chromatography

$169.99

Advances in Wireless, Mobile Networks and Applications

$39.99

Kundenzufriedenheit und Kundenbindung im Investitionsgterbereich

$59.99