Mit Bücher.World findest Du Bücher Du in hunderten Online-Shops - von Romanen bis zur Fachliteratur.
Bücher.World ist eine Suchmaschine speziell für Bücher.
Mit Bücher.World kannst Du ganz einfach nach Romanen, Fachliteratur, Sachbüchern, Lexika und mehr im Internet suchen - wir zeigen Dir die besten Angebote, die wir in mehreren hundert Online-Buchfachgeschäften finden konnten. Mit einem Klick gelangst Du auf die Seite des Online-Shops, in dem Du das Buch kaufen kannst.
Kategorien
Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)

Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)

29,95 €
Einband: Taschenbuch
Seitenzahl: 272 Seiten
Erscheinungsdatum: 01.01.1970
Verlag: Springer
Auflage: Krzysztof R. Apt,Ernst-Rüdiger Olderog
gefunden bei Amazon
Zum Shop

Beschreibung

Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)

Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch) von Apt, Krzysztof R. im Online-Buchhandel:

Programmverifikation von Springer Berlin Heidelberg
Programmverifikation
von Krzysztof R. Apt/ Ernst-Rüdiger Olderog
29,95 €
gefunden bei Hugendubel Bücher
Programmverifikation ab 29.95 € als Taschenbuch: Sequentielle parallele und verteilte Programme. Auflage...
Programmverifikation ab 29.95 € als Taschenbuch: Sequentielle parallele und verteilte Programme. Auflage 1994. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
Verlag: Springer Berlin Heidelberg
Zur Online-Buchhandlung von
Hugendubel Bücher
Programmverifikation
Programmverifikation
29,95 €
gefunden bei Thalia
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle,...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr|~eres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur L|sung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschlu~ und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairne~-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich f}r ein- oder zweisemestrige Vorlesungen }ber Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von ]bungsaufgaben und bibliographischen Hinweisen. Das Buch f}hrt auch an aktuelle Themen der Forschung heran.
Zur Online-Buchhandlung von
Thalia
Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)
Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)
von Apt, Krzysztof R.
29,95 €
gefunden bei Amazon Marketplace
Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)
Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)
Einband: Taschenbuch, Seitenzahl: 272 Seiten
Zur Online-Buchhandlung von
Amazon Marketplace
Bewerte das Buch
Absenden
  • Habe ich gelesen
  • Möchte ich noch lesen
  • Lieblingsbücher
  • Wunschliste

Aktuelle Bestseller des Verlags Springer

Systemanalyse von Springer Berlin Heidelberg
Systemanalyse
gefunden bei Hugendubel Bücher
44,99 €
Zum Shop
Stellar Structure and Evolution (Astronomy and Astrophysics Library) von Springer
Stellar Structure and Evolution (Astronomy and Astrophysics Library)
Taschenbuch
gefunden bei Amazon
59,00 €
Zum Shop
Kompendium Alkohol von Springer Berlin Heidelberg
Kompendium Alkohol
gefunden bei Hugendubel Bücher
109,99 €
Zum Shop
Wirtschaftspolitik: Allokation und kollektive Entscheidung (Springer-Lehrbuch) (German Edition)
Wirtschaftspolitik: Allokation und kollektive Entscheidung (Springer-Lehrbuch) (German Edition)
gefunden bei medimops
4,49 €
Zum Shop
International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD'2023): Advanced Intelligent Systems on Energy, Environment ... Notes in Networks and Systems, Band 931) von Springer
International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD'2023): Advanced Intelligent Systems on Energy, Environment ... Notes in Networks and Systems, Band 931)
Taschenbuch
gefunden bei Amazon
182,66 €
Zum Shop
Women in the History of Analytic Philosophy: Selected Papers of the Tilburg – Groningen Conference, 2019 (Women in the History of Philosophy and Sciences, Band 15) von Springer
Women in the History of Analytic Philosophy: Selected Papers of the Tilburg – Groningen Conference, 2019 (Women in the History of Philosophy and Sciences, Band 15)
Paperback
gefunden bei Amazon
127,36 €
Zum Shop
Medicinal and Aromatic Plants of South America: Brazil (Medicinal and Aromatic Plants of the World, 5, Band 5) von Springer
Medicinal and Aromatic Plants of South America: Brazil (Medicinal and Aromatic Plants of the World, 5, Band 5)
Gebundene Ausgabe
gefunden bei Amazon
149,38 €
Zum Shop
Führungskompetenz achtsame Selbstführung: Erfolgreich führen in dynamischen und disruptiven Zeiten
Führungskompetenz achtsame Selbstführung: Erfolgreich führen in dynamischen und disruptiven Zeiten
gefunden bei medimops
23,49 €
Zum Shop
The Supercontinuum Laser Source: The Ultimate White Light von Springer
The Supercontinuum Laser Source: The Ultimate White Light
Paperback
gefunden bei Amazon
151,51 €
Zum Shop
Körperwahrnehmung und Schmerzbewältigung im Alltag von Springer Berlin Heidelberg
Körperwahrnehmung und Schmerzbewältigung im Alltag
gefunden bei Hugendubel Bücher
54,99 €
Zum Shop