Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004 : revised lectures / editors, Marco Bernardo, Flavio Corradini. by Bernardo, Marco Corradini, Flavio LINK (Online service) International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 : Bertinora, Italy) Series: Lecture notes in computer science ; 3185. Material type: Text; Format: available online Publication details: Berlin : Springer, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Models, languages, and tools for concurrent and distributed programming : essays dedicated to Rocco De Nicola on the occasion of his 65th birthday / Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.). by Boreale, Michele [editor.] Corradini, Flavio [editor.] Loreti, Michele [editor.] Pugliese, Rosario [editor.] De Nicola, Rocco [honouree.] Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science ; 11665. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2019]Copyright date: ©2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search