Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Programmverifikation

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

Sequentielle, Parallele Und Verteilte Programme

Krzysztof R. Apt

Ernst-Rüdiger Olderog

Jazyk

Němčina

Kniha Pevná

Libristo kód: 01565740

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 1994

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Seq... Celý popis

Libristo kód: 01565740

65 b

649 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Žltí vtáci Kevin Powers

Pevná

254 Kč

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

Pevná

994 Kč

Pocket Fishing Record Book Editors

Pevná

256 Kč

Less Incomplete Sandie Gustus

Brožovaná

518 Kč

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

Brožovaná

1 182 Kč

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

Brožovaná

559 Kč

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

Brožovaná

176 Kč

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.