UCSC Library OPAC

AN INTRODUCTION TO FORMAL METHODS

DILLER , ANTONI

AN INTRODUCTION TO FORMAL METHODS - NEW YORK : JOHN WILEY 1990 - 309 p.

047192489X


FORMAL METHODS

005.12 / D34
© 2026 All rights reserved. UCSC