Partial order methods in verification

View on Open Library

Partial order methods in verification

by Vaughan R. Pratt , Gerard J. Holzmann

No reviews yet

First published: 1997 1 language ISBN: 0821805797

Subjects

Electronic data processing Distributed processing Congresses Verification Computer software Electronic data processing, distributed processing

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Vaughan R. Pratt

Shellsort and sorting networks

Shellsort and sorting networks

You Might Also Like

More in Electronic data proc...

Tax administration

Tax administration

United States. General Accounting Office

Advances in imaging and electron physics

Advances in imaging and electron physics

Peter W. Hawkes

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Course ILT

Course Technology

Tax administration

Tax administration

United States. General Accounting Office

Introducing Computers

Introducing Computers

Robert H. Blissmer