NUST Institutions Library Catalogue catalog › Results of search for 'au:"A. Finkel"'

Your search returned 2 results.

Not what you expected? Check for suggestions

		Systems and software verification: Model checking techniques and tools B. Berard by B. Berard \| M. Bidoit \| A. Finkel \| F. Laroussinie \| A. Petit \| L. Petrucci \| P. McKenzie. Publisher: Berlin. Springer, 1998Availability: Items available for loan: Central Library (CL)Call number: 005.14 BER (1). Place hold Find in NUST Repository
		SYSTEMS AND SOFTWARE VERIFICATION B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE by B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE. Material type: Text Publisher: GERMANY SPRINGER 2001Availability: Items available for loan: School of Interdisciplinary Engineering and Sciences (SINES)Call number: 005.1421 (8), NUST Baluchistan Campus (NBC)Call number: 005.1421 (21). Place hold Find in NUST Repository