A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)

Barringer, H.:

ISBN 10: 0387152393 / ISBN 13: 9780387152394

Edité par Springer-Verlag 01.09.1985., 1985

A propos de cet article

ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 550.

N° de réf. du vendeur 370958

Détails bibliographiques

• Titre: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
• Éditeur: Springer-Verlag 01.09.1985.
• Date de parution: 1985
• Langue: anglais
• ISBN à 10 chiffres: 0387152393
• ISBN à 13 chiffres: 9780387152394
• Reliure: Taschenbuch
• État de l'article: Gut
• Catalogues du vendeur:
  • Alle Bücher

A propos de ce titre

Synopsis

No A Survey of Verification Techniques for Parallel Programs Read a customer review or write one .