Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Verification of Sequential and Concurrent Programs
Langbeschreibung
Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The development of methods that ensure program correctness is therefore a key challenge for computer scientists.
Inhaltsverzeichnis
In the Beginning.- Preliminaries.- Deterministic Programs.- While Programs.- Recursive Programs.- Recursive Programs with Parameters.- Object-Oriented Programs.- Parallel Programs.- Disjoint Parallel Programs.- Parallel Programs with Shared Variables.- Parallel Programs with Synchronization.- Nondeterministic and Distributed Programs.- Nondeterministic Programs.- Distributed Programs.- Fairness.
ISBN-13:
9781848827455
Veröffentl:
2009
Seiten:
502
Autor:
Krzysztof R. Apt
Serie:
Texts in Computer Science
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
85,59 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.