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 in Programming and Their Applications

Formal Methods in Programming and Their Applications

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

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

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

Einkaufsvorbereitung

$69.99

Introducing Board Gender Diversity to Sri Lanka

$129.00

Politik unter Einfluss

$59.99

Potato Breeding: Theory and Practice

$199.99

Genomic Instability and Cancer Metastasis

$109.99

Variational Principles in Physics

$79.99

Shock Waves

$329.99

Fortune Falls

$4.49

Wine Microbiology

$54.99

I Have a Skeleton

$4.46

Die Digitale Kluft

$44.99

Patterns of Software Construction

$54.99

Introduction to DevOps with Chocolate, LEGO and Scrum Game

$34.99

Credit risk modeling with affine processes

$29.95

Rechtsgleichheit und Selbstbestimmung der Vlker in wirtschaftlicher Hinsicht

$69.95

How to Provide Authentic Feedback in Medical Education

$59.99

High Performance Computational Methods for Biological Sequence Analysis

$169.99

Social Determinants of Mental Health

$129.00

Plant Growth Substances 1979

$109.99

Military Geoscience: A Multifaceted Approach to the Study of Warfare

$159.99

Future Energy

$99.00

Diagnosekodierung in der Praxis

$64.99

Geometric Theory of Semilinear Parabolic Equations

$59.99

Human-Computer Interaction. Technological Innovation

$109.99

Contract Research and Development Organizations

$169.99

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

$54.99

Wind Turbines

$189.00

Towards Understanding the Climate of Venus

$109.99

Handbuch zur politischen Bildung

$89.99

Psychotherapie als Transformationsproze

$59.99

Ionic Liquids II

$159.99

Value Creation in Mergers, Acquisitions, and Alliances

$39.99

The Gulf States in International Political Economy

$119.99

Clinical Ophthalmic Oncology

$129.99

Wirkung von Preisen und Werbung als Instrumente des Revenue Managements

$49.99

Charged Semiconductor Defects

$169.99

Regional models of trade and development

$109.99

Philosophy of Social Cognition

$49.99

Clinical Ethics for Consultation Practice

$37.99

Applied Machine Learning

$89.99