Cover von A survey of verification techniques for parallel programs opens in new tab

A survey of verification techniques for parallel programs

Author: Search for this author Barringer, Howard
Statement of Responsibility: Howard Barringer
Year: 1985
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 191
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 191 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Author: Search for this author Barringer, Howard
Statement of Responsibility: Howard Barringer
Year: 1985
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-15239-3
ISBN (2nd): 0-387-15239-3
Description: VI, 114 S.
Series: Lecture notes in computer science; 191
Search for this character
Media group: MONOGRAPHIE