Cover von Data refinement opens in new tab

Data refinement

model-oriented proof methods and their comparison
Author: Search for this author Roever, Willem-Paul de; Engelhardt, Kai
Statement of Responsibility: Roever, Willem-Paul de ; Engelhardt, Kai
Year: 1998
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 47
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: ROEVER WILLEM-PAUL de Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Author: Search for this author Roever, Willem-Paul de; Engelhardt, Kai
Statement of Responsibility: Roever, Willem-Paul de ; Engelhardt, Kai
Year: 1998
Publisher: Cambridge, Cambridge University Press
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-521-64170-5
ISBN (2nd): 9780521103503
Description: XI, 423 S.
Series: Cambridge tracts in theoretical computer science; 47
Search for this character
Media group: MONOGRAPHIE