A Survey of Verification Techniques for Parallel Programs

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

1985th edition

Paperback (01 May 1985)

  • $28.97
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Book information

ISBN: 9783540152392
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 1985th edition
Language: English
Number of pages: 120
Weight: 420g
Height: 234mm
Width: 156mm
Spine width: 6mm