Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Programmverifikation

Name: Programmverifikation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565740
Price: 29.98 EUR
Availability: InStock
Author: Krzysztof R. Apt
ISBN: 9783540574798

Sequentielle, Parallele Und Verteilte Programme

Krzysztof R. Apt

Ernst-Rüdiger Olderog

Език

Немски език

Книга С твърди корици

Код Либристо: 01565740

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 1994

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Seq... Цялото описание

Код Либристо: 01565740

72 b

29.98 €

58.63 лв

Външен склад Изпращаме след 8-11 дни

30 дни за връщане на стоката

Клиентите са закупили също

Žltí vtáci Kevin Powers

С твърди корици

13.04 € 25.51 лв

Adolf Wölfli Stvořitel univerza Adolf Wölfli

С твърди корици

37.59 € 73.52 лв

Pocket Fishing Record Book Editors

С твърди корици

11.96 € 23.39 лв

Less Incomplete Sandie Gustus

С меки корици

22.78 € 44.55 лв

Supplemental Irrigation in the Near East and North Africa Eugene R. Perrier

С меки корици

54.47 € 106.54 лв

Artisans Francais: Etude Historique Les Couvreurs Et Les Plombiers Husson-F

С меки корици

24.23 € 47.39 лв

Coloring Advanced: Coloring Book - Just like the App! John Young

С меки корици

7.66 € 14.98 лв

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.