Reset Filters
CLC: T - 工业技术

Author Results for (R. Michael), 1952-

SpringerLink (Online service)
(Daniel M.),
(Frank),
(R. Michael),
(Rod G.)
see all »
Balick,Michael J
Balick,Michael J.,
Bose,Arindam
Charpentier,Bonnie A
Colaresi,Michael P.,

1
A programming logic with an introduction to the PL/CV verifier

Cover is for reference only
Main Authors: Constable R. L. (Robert L.) (Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson.)
Group Author: O'Donnell Michael J., 1952- (joint author.); Johnson Scott D.
Published: Winthrop Publishers,
Publication Dates: c1978.
Call Number: TP31/C756/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —