Reset Filters
Filter Related Topics: Computer logic
Filter Related Topics within your search.
1
Modal and temporal properties of processes

Cover is for reference only
Main Authors: Stirling Colin P.
Published: Springer,
Publication Dates: c2001.
Call Number: TP30/S861
Book
Save to List
Saved in:
2
Refinement calculus a systematic introduction

Cover is for reference only
Main Authors: Back Ralph-Johan.
Group Author: (Joakim), 1955-; Wright J. von
Published: Springer,
Publication Dates: c1998.
Call Number: TP311.1-43/B126/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —