Parallele Systeme

Name: Parallele Systeme
Brand: Springer Nature
SKU: 9783540160632
Availability: InStock

Best Price (Coupon Required):
Buy Parallele Systeme for $40.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$40.50

@ Link.springer.com with extra coupon

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		$44.99	$44.99		10% OFF This deals requires coupon	$40.50		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540160632

Condition

New

Product Description

Systeme paralleler Prozesse gehren seit jeher zu den reizvollsten Forschungs gegenstnden der Informatik. Gleichzeitig klafft die Lcke zwischen Theorie und den Bedrfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur bentigt wissenschaftlich fundierte Methoden zur Programmkonstruktion fr - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergnzt wurden. Der Theoretiker, der das Wesen der Parallelitt zu ergrnden versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich berhaupt um die praktische Umsetzbarkeit seiner Theorie kmmert. Es ist sicher nicht zu khn, zu behaupten, da noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in grerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkmmlicher Bauart ablaufenden Prozessen bestehen. Ich mchte allen danken, die mich untersttzt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschlge zur Semantik der Spezifikationssprache ge geben und mich darber hinaus in zahlreichen Diskussionen untersttzt und motiviert. Dank gebhrt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den fr den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhnge beigetragen.

Available Colors

N/A

Available Sizes

N/A