Programmverifikation : Sequentielle, parallele und verteilte Programme

Sprache: Deutsch

Verlag: Springer, 1994

3540574794 / 9783540574798

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Buchpark, Trebbin, DeutschlandBuchpark

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 30. September 2021

Softcover

Zustand: Gebraucht - Gut

Sonderangebot

Aktueller Preis: EUR 7,69

EUR 105,00 Versand 
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Zustand: Gut | Seiten: 272 | Sprache: Deutsch | Produktart: Bücher | 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.…

Bestandsnummer des Verkäufers 16499/3

Titel
Programmverifikation : Sequentielle, parallele und verteilte Programme
Autor
Apt, Krzysztof R.
Verlag
Springer
Erscheinungsjahr
1994
Zustand
Gut
Einband
Softcover
Sprache
Deutsch
ISBN-10
3540574794
ISBN-13
9783540574798
Verkäuferkataloge
Bücher

Buchpark

Trebbin, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 30. September 2021

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 105,00EUR 130,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shopbeschreibung

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Buchpark GmbH

Krügerweg 1
Trebbin, Deutschland 14959