Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings / Bernhard K. Aichernig, Carlo A. Furia (eds.). by TAP (Conference) (10th : 2016 : Vienna, Austria) Aichernig, Bernhard K, 1969- [editor.] Furia, Carlo A, 1979- [editor.] STAF (Federation of conferences) (2016 : Vienna, Austria) Series: Lecture notes in computer science ; 9762. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: TAP 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Modeling time in computing / Carlo A. Furia ... [et al.]. by Furia, Carlo A, 1979- Series: Monographs in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, c2012 Availability: Items available for loan: Library (1)Call number: 003-2012. Place hold

Refine your search