Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Programmverifikation

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

Sequentielle, Parallele Und Verteilte Programme

Krzysztof R. Apt

Ernst-Rüdiger Olderog

Language

German

Book Hardback

Libristo code: 01565740

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 1994

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Seq... Full description

Libristo code: 01565740

75 b

10 963 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

Žltí vtáci Kevin Powers

Hardback

4 354 Ft

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

Hardback

13 306 Ft

Pocket Fishing Record Book Editors

Hardback

4 220 Ft

Less Incomplete Sandie Gustus

Paperback

8 795 Ft

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

Paperback

19 902 Ft

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

Paperback

9 235 Ft

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

Paperback

2 930 Ft

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.