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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Lie Models in Topology

$129.99

Reading Test Prep Grade 1 Differentiation Pack

$5.99

Technologies, Artificial Intelligence and the Future of Learning Post-COVID-19

$189.00

Wertorientiertes Absatzkanalmanagement in der Konsumgterindustrie

$59.99

Plant Roots - From Cells to Systems

$109.99

A Model for Personality

$89.00

Belgium and the February Revolution

$54.99

Fuzzy Data Warehousing for Performance Measurement

$109.99

Formal Specification Techniques for Engineering Modular C Programs

$169.99

Understanding Cancer

$189.00

Human Modelling in Assisted Transportation

$139.00

Ad-Hoc, Mobile, and Wireless Networks

$54.99

Conditions of Happiness

$169.99

Early Childhood Education, Postcolonial Theory, and Teaching Practices in India

$39.99

The Seventh European Conference on Combinatorics, Graph Theory and Applications

$24.99

Thoracic Outlet Syndrome

$149.00

Essays on the Doctrinal Study of Law

$79.99

Trends in Artificial Intelligence: PRICAI 2016 Workshops

$54.99

First International Moxifloxacin Symposium

$39.99

Umweltbewusstsein im Wandel

$64.99

Grab and Go Pack Theme 2: Social-Emotional Development Grade 6

$29.95

Learn HTML5 and JavaScript for Android

$39.99

A Practice-based Model of STEM Teaching

$49.99

Soziale Bedingungen privater Lebensfhrung

$59.99

Recent advances in Power Systems

$189.00

Wettbewerb im liberalisierten Strommarkt

$39.99

Companion to European Heritage Revivals

$59.99

Reform des Interventionsprozesses

$59.99

Examples to Extremum and Variational Principles in Mechanics

$54.99

Handbook of Global Tuberculosis Control

$229.00

Liberalism, Multiculturalism and Toleration

$109.00

Probiotics in Pediatric Medicine

$169.99

Einsatz speicherprogrammierbarer Steuerungen in der Fertigungstechnik

$59.99

Stochastic Nonlinear Systems in Physics, Chemistry, and Biology

$54.99

Information Literacy in the Workplace

$155.00

Sensor Technology in the Netherlands: State of the Art

$129.00

The Dynamics of Ambiguity

$39.99

Grundlagen der Mikroelektronik 1

$34.99

Techniques in Forage Quality Analysis

$129.00

Berliner Schlssel zur Techniksoziologie

$49.99