A survey of verification techniques for parallel programs View on Open Library

A survey of verification techniques for parallel programs

by Howard Barringer

No reviews yet
First published: 1985 1 language ISBN: 0387152393
Subjects
Computer programs Parallel processing (Electronic computers) Verification Parallel programs (Computer programs)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Howard Barringer

Advances in temporal logic

Advances in temporal logic

The Imperative future

The Imperative future

The Imperative Future

The Imperative Future

Up and down the temporal way

Up and down the temporal way

Temporal logic in specification

Temporal logic in specification

You Might Also Like

More in Computer programs
Financial audit

Financial audit

United States. General Accounting Office
Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

Reconfigurable Processor Array A Bit Sli...

A. Rushton
Financial Management

Financial Management

United States. General Accounting Office
Managerial Accounting

Managerial Accounting

Jerry J. Weygandt
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Course ILT

Course ILT

Course Technology