Your search returned 2 results.

Sort
Results
1.
Lecture notes in computer science: formaltecniques in real-time and fault-tolerant systems. by Series: Lecture notes in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag c1998
Availability: Items available for reference: Informatics and Virtual Education Library Collection: Not for loan (1)Call number: QA 76.54 F66 1988.

2.
Transactions and change in logic databases: invited surveys and selected papers by Series: Transactions and change in logic databases:invited surveys and selected papers ; V.1472
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Springer, c1998
Availability: Items available for reference: Informatics and Virtual Education Library Collection: Not for loan (1)Call number: QA76.9 D3 I5655 1996.

Pages
© The University of Dodoma 2020