-
Bib ID# 38358
ISBN: 9783642114472
UPC: 10.1007/978-3-642-11447-2
Title: Rigorous Methods for Software Construction and AnalysisEssays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
Author: Abrial, Jean-Raymond.
Publication Info:
Item Type: Language material