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

Functional Programming, Concurrency, Simulation and Automated Reasoning

Functional Programming, Concurrency, Simulation and Automated Reasoning

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

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.

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

Ein neues China-Bild

$99.99

FinTech and SupTech in China

$129.99

Curtain up

$119.99

Colon Polyps and the Prevention of Colorectal Cancer

$119.00

Multicriteria Decision Making

$169.00

Crohns Disease and Ulcerative Colitis

$39.99

Soziale Beziehungen im Migrationsverlauf

$49.99

Die steuerstrafrechtliche Bewertung von Cum/Ex-Geschften

$79.99

A Concise Introduction to Mechanics of Rigid Bodies

$39.99

Privateering and Diplomacy, 17931807

$79.99

Black Holes, Gravitational Radiation and the Universe

$219.99

Geriatric Anesthesiology

$199.99

Internet Naming and Discovery

$109.99

Non-discrimination and Trade in Services

$159.99

Scholastic Reader! Level 3-When I Grow Up: Misty Copeland

$2.99

Queer Social Movements and Outreach Work in Schools

$149.00

Fridays for Future

$79.99

Abstract Fractional Monotone Approximation, Theory and Applications

$119.00

Advances in Smart Grid Technology

$329.99

Dust and Health

$219.99

Wahlen und politisches System

$59.99

Social Knowledge Management in Action

$99.00

Engineering Systems with Intelligence

$169.00

Numerical and Symbolic Scientific Computing

$109.99

Dnde estar mi zapato?

$3.71

Accounting, Accountability and Society

$169.99

"Spielmannsepik"

$69.99

RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods

$219.99

Regieren in der Transformationsgesellschaft

$64.99

Towards Low and Positive Energy Buildings

$149.99

Simple Chemical Methods for Thin Film Deposition

$179.99

Strategie- und Organisationsentwicklung

$59.99

Translational Research in Pediatric Urology

$84.99

Cycling Through the Pandemic

$59.99

The Principles of Successful Awake Craniotomy

$119.00

Taschenbuch zum Abstecken von Kreisbogen mit und ohne bergangsbogen fr Eisenbahnen, Straen u. Kan

$54.99

Perspectives in Cancer Prevention-Translational Cancer Research

$129.00

Web Engineering

$79.99

Erkundung von Verkehrswegen in Neulndern

$59.99

Thermochemical properties of inorganic substances

$109.00