Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Programmverifikation: Sequentielle, Parallele und Verteilte Programme (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
258
Format
Paperback
ISBN13
9783540574798
Edition No.
1994th

Programmverifikation: Sequentielle, Parallele und Verteilte Programme (in German)

Krzysztof R. Apt; Ernst-Rüdiger Olderog (Author) · Springer · Paperback

Programmverifikation: Sequentielle, Parallele und Verteilte Programme (in German) - Krzysztof R. Apt; Ernst-Rüdiger Olderog

Cheaper New Book Imported to Taiwan
Delivery: 21 Aug - 02 Sep Shipping: 13 to 15 business days.
NT$ 1,209
Faster New Book Imported to Taiwan
Delivery: 11 Aug - 19 Aug Shipping: 5 to 6 business days.
NT$ 1,449
NT$ 1,209

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Programmverifikation: Sequentielle, Parallele und Verteilte Programme (in German)"

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 Lsung 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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews