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

MetaSoft Primer

MetaSoft Primer

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

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.

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

Politicians, Personal Image and the Construction of Political Identity

$54.99

Kinderleben - Integration durch Sprache?

$59.99

Verteilende eBusiness-Systeme

$89.99

Single Cell Metabolism

$199.99

ffentliche Meinung und strategische Kulturen

$49.99

Rechtsterrorismus in der alten Bundesrepublik

$74.99

Law and Disciplinarity

$54.99

Genetics of the Mouse

$199.99

The Professional Knowledge Base of Science Teaching

$84.99

Eighteenth-Century Naval Officers

$159.99

Geburtshilfe Geburtsmedizin

$74.99

Humanism in Marketing

$199.99

Contemporary American Theatre

$29.99

Figurative Thinking and Foreign Language Learning

$109.99

Understanding Fluorescein Angiography, Fluoreszeinangiografie verstehen, Entendiendo Angiografa con

$84.99

Import Propensities of Industrialized Countries

$39.99

Television Drama

$54.99

Das Einrichten von Automaten

$59.99

Slow Viscous Flow

$39.99

Information Security Technology for Applications

$39.99

Auswuchttechnik

$139.00

Particulate Technology for Delivery of Therapeutics

$169.99

Globalisierung nach der Corona-Krise

$9.99

Proceedings of the 25th International Conference on the Physics of Semiconductors Part I

$54.99

Mobile 3D Graphics

$39.99

Narrative Landscapes of Female Sexuality in Africa

$39.99

Marketingtechnologien

$59.99

David Humes Humanity

$37.99

Form and Dialectic in Georg Simmel's Sociology

$54.99

Leaning into the Spirit

$69.99

Invasive Plants: Ecological and Agricultural Aspects

$149.00

Learning Surgery

$54.99

Self-organization and Emergence in Life Sciences

$219.99

Ernst Zermelo - Collected Works/Gesammelte Werke

$169.99

Schriftverkehr am Bau

$44.99

Die flexible Supervision

$49.99

Modeling Decisions for Artificial Intelligence

$54.99

Mathematical Foundations of Big Data Analytics

$37.99

Cultural Semiotics

$129.99

Oscar y Grillo

$5.96