Books by Mark Ardis
See the best price to sell, buy, or rent books by Mark Ardis. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.
FMSP 98 : Formal Methods in Software Practice, Co-Located with ISSTA
Author(s): Mark Ardis
ISBN-13: 9780897919548
Publisher: Association for Computing Machinery
Format: Paperback, 109 pages