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

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

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

Softwareentwicklung erfordert ausgehend von informellen Problemstellungen Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewltigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Anstze und Methoden entwickelt, die in zwei Bnden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erlutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenlufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLAund prdikative Spezifikation. Dies schliet unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen fr eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.

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

Single Product Purchase

$34.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
$34.99 $34.99

$34.99
See Site In stock Visit Store

Similar Products

Public Sector Reformation

$54.99

Microbial Biosorption of Metals

$169.99

Information Systems for Agriculture

$54.99

Wie prft das Finanzamt?

$59.99

Training in Neurosurgery

$39.99

Film- und Fotoanalyse in der Erziehungswissenschaft

$69.99

Empirical Bayes and Likelihood Inference

$54.99

Distorted Time Preferences and Structural Change in the Energy Industry

$109.99

Something from Tiffany's: A Novel by Melissa Hill

$16.99

Deployable Multimodal Machine Intelligence

$79.99

Schrder gegen Merkel

$44.99

Riemannian Topology and Geometric Structures on Manifolds

$139.00

Dynamische Wirtschaftsfhrung

$59.99

Information in Contemporary Society

$84.99

The Political Economy of the Southern African Periphery

$39.99

Tetsugaku Companion to Ueda Shizuteru

$129.99

Klassen, Schichten, Mobilitt

$59.99

Correlationen des Zirkulationssystems Mineralstoffwechsel Regulation des Organischen Stoffwechsels

$59.99

Flexibility and Stability in Working Life

$109.99

Einsteins Field Equations and Their Physical Implications

$84.99

Guest

$5.99

Calcium Channel Blockers

$129.00

Computational Science and Its Applications - ICCSA 2008

$84.99

Die Ermittlung der Fliekurven von Schraubenwerkstoffen

$49.99

Interactive Broadband Media

$39.99

Geometric Modeling in Probability and Statistics

$89.99

Praxis der Jahresabschluanalyse

$34.99

Academic Publishing

$39.99

Internationalization of Higher Education

$54.99

Felseninsel Helgoland

$24.99

Quantitative Energy Finance

$219.99

Types of Social Structure in Eastern Indonesia

$54.99

GO 2019 Kommentar, IGeL-Abrechnung

$64.99

Energy Minimization Methods in Computer Vision and Pattern Recognition

$109.99

RCS Estimation of Linear and Planar Dipole Phased Arrays: Approximate Model

$39.99

British Upper Carboniferous Stratigraphy

$169.00

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

$189.00

Public Policies and Sustainable Development in Post-Reform India

$199.99

Wehenhemmung

$69.99

Tbilisi Analysis and PDE Seminar

$219.99