Search

You searched for: Auteur Riccobene, Elvinia Remove constraint Auteur: Riccobene, Elvinia
1 - 2 of 2
Number of results to display per page

Search Results

1. Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
thumbnail
Full text!
Author:
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter
Publisher:
Springer International Publishing 2021
Format:
e-book
2. Abstract State Machines, Alloy, B, VDM, and Z
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book