Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Programmverifikation Krzysztof R. Apt

Programmverifikation

Sequentielle, Parallele Und Verteilte Programme

Szerző: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Nyelv: Német
Kötés: Kemény kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 8-11 napon belül
10 634 Ft
Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Seq...

Információk a könyvről

Szerző
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Nyelv
Német
Kötés
Könyv - Kemény kötésű
Kiadva
1994
oldal
258
EAN
9783540574798
ISBN
3540574794
Enbook ID
01565740
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
417
Méretek
155 x 235 x 15

Teljes leírás

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Sequentielle,parallele und verteilte Programme werden in einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nicht deterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispielv orgestellt. Insbesondere werden Programme zur Lösung derklassischen Probleme Erzeuger-Verbraucher, wechselweiserAusschluß und verteilte Terminierung diskutiert undverifiziert. Eine Besonderheit des Buches ist dieeinheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen.Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen ber Programmverifikation. Die Kapitel sindeinheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran.

Érdekelheti

Das ASEAN Regional Forum

Dirk Strothmann
24 268 Ft

Mitarbeiterschulungen

M Reiner
4 775 Ft

D. Anton Friderich Busching eigene Lebensgeschichte in vier Stucken

Anton Friedrich Busching
13 763 Ft

Zusammen sind wir mausestark! - Ein Geschwisterbilderbuch

Pina Gertenbach
4 833 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Žltí vtáci

Kevin Powers
4 223 Ft

Adolf Wölfli Stvořitel univerza

Adolf Wölfli
12 907 Ft

Pocket Fishing Record Book

Editors
4 093 Ft

Less Incomplete

Sandie Gustus
8 532 Ft

Supplemental Irrigation in the Near East and North Africa

Eugene R. Perrier
19 305 Ft

Artisans Francais: Etude Historique Les Couvreurs Et Les Plombiers

Husson-F
8 957 Ft

Coloring Advanced: Coloring Book - Just like the App!

John Young
2 842 Ft