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

Product Variety in Automotive Industry

$54.99

Learning in the Synergy of Multiple Disciplines

$109.99

Does Frankenstein Get Hungry?

$4.46

Controlling Dietary Fiber in Food Products

$109.99

Bathtime for Baby Shark

$11.24

Demenzbegleiter

$19.99

Getriebe und Getriebemodelle

$59.99

Elektrische Kraftbertragung und Kraftverteilung

$59.99

Gesellschaftliches Lernen im politischen Diskurs

$59.99

Arbeitsplatz Augenpraxis

$64.99

Die Agenda 2030 als Magisches Vieleck der Nachhaltigkeit

$44.99

CAQ im TQM

$39.99

Mathematics for Seismic Data Processing and Interpretation

$54.99

Machine Learning and Knowledge Discovery in Databases

$54.99

Colonial Literature and the Native Author

$99.99

Biotechnology Applied to Inflammatory Diseases

$249.99

Methods of Pesticide Exposure Assessment

$219.99

Protecting Human Rights Defenders in Latin America

$109.99

Sensing Technology: Current Status and Future Trends II

$109.99

Commas Grade 2 Differentiation Pack

$5.99

Time to.: Rise & Shine / Empezar el da

$4.46

Essentials of Antimicrobial Pharmacology

$109.99

Einflu der Hysteresebreite und der Rckfhr-Kennwerte in einem Zweipunktregler auf den Regelverlauf

$59.99

Umweltgerechtigkeit

$24.99

Lyrik als Sprache unserer Zeit? Paul Celans Gedichtbnde

$44.99

Planning Cities with Nature

$149.00

Elements of Cloud Computing Security

$54.99

Acute Abdomen During Pregnancy

$139.00

Security Protocols XXVIII

$49.99

Of States, Rights, and Social Closure

$39.99

Games and Learning Alliance

$59.99

Nanoparticle-Mediated Immunotherapy

$129.00

Wer dient, verdient!

$39.99

Elektrischer Strom

$129.00

Graptolithina

$59.99

Formal Concept Analysis

$59.99

China Satellite Navigation Conference (CSNC 2024) Proceedings

$279.99

Beginning C# 2008

$29.99

Control Systems Design

$169.99

Gesammelte Abhandlungen - Collected Papers

$69.99