Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint) - Couverture souple
Synopsis
The digital edition of all books may be viewed on our website before purchase. Excerpt from Verification of Several Parallel, Vol. 36: Coordination Programs Based on Descriptions of Their Reachability Sets (Classic Reprint)
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books.
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. This text has been digitally restored from a historical edition. Some errors may persist, however we consider it worth publishing due to the work's historical value.The digital edition of all books may be viewed on our website before purchase.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Verification of Several Parallel, Vol. 36: Coordination...
Image fournie par le vendeur
Verification of Several Parallel, Vol. 36 (Classic Reprint)
impression à la demandeVendeur : Forgotten Books, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. Print on Demand. This book introduces a new method to verify parallel programs for any fixed number of processors. The method uses a special compact representation to describe all execution states of programs, which aids in verifying the properties that cannot be easily expressed as 'predicate(state)'. The method is demonstrated by verifying correctness properties of several parallel programming examples, especially those that deal with synchronization. It shows that the method can detect subtle race conditions and other timing-based bugs which traditional verification methods (such as those based on finite state machines) cannot detect. Altogether, this book broadens the range of parallel programs that can be verified. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. N° de réf. du vendeur 9781332209255_0
Acheter neuf
EUR 15,28
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332209255
Acheter neuf
EUR 22,05
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Verification of Several Parallel, Vol 36 Coordination Programs Based on Descriptions of Their Reachability Sets Classic Reprint
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781332209255
Acheter neuf
EUR 20,68
Expédition à EUR 3,77
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)