Synopsis
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - 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 ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem 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 herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt 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 Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Parallele Systeme: 117 (Informatik-Fachberichte, 117)
Stock Image
Parallele Systeme (Informatik-Fachberichte, 117) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540160632_new
Buy New
£ 51.82
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Parallele Systeme (Informatik-Fachberichte) (German Edition)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540160632
Buy New
£ 48.76
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Parallele Systeme
Published by
Springer Berlin Heidelberg Feb 1986, 1986
ISBN 10: 3540160639
ISBN 13: 9783540160632
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - 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 ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem 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 herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt 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 Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen. 168 pp. Deutsch. Seller Inventory # 9783540160632
Stock Image
Parallele Systeme
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 168. Seller Inventory # 2697107137
Stock Image
Parallele Systeme
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 168 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 96338718
Buy New
£ 69.05
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Parallele Systeme
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 168. Seller Inventory # 1897107147
Stock Image
Parallele Systeme (Informatik-Fachberichte)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 164 pages. German language. 9.60x6.60x0.38 inches. In Stock. Seller Inventory # x-3540160639
Buy New
£ 70.45
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Parallele Systeme
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 3540160639
ISBN 13: 9783540160632
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4882909
Buy New
£ 48.24
£ 41.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Parallele Systeme
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 1986, 1986
ISBN 10: 3540160639
ISBN 13: 9783540160632
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - 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 ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem 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 herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt 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 Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch. Seller Inventory # 9783540160632
Seller Image
Parallele Systeme
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1986
ISBN 10: 3540160639
ISBN 13: 9783540160632
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - 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 ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem 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 herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt 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 Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen. Seller Inventory # 9783540160632