Cover von QED at Large opens in new tab

QED at Large

A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 5. 2019, 2/3
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: RINGER TALIA Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Search for this author
Year: 2019
Publisher: Boston, Now Publishers
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-1-680-83594-6
ISBN (2nd): 1-680-83594-7
Description: 188 S.
Series: Foundations and Trends in Programming Languages; 5. 2019, 2/3
Participating parties: Search for this character Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary
Media group: MONOGRAPHIE