Home Advanced Search

Advanced Search - Page 1

Concrete Semantics with Isabelle/HOL
  • PDF
  • English
  • Year: 2017
  • Author: Tobias Nipkow, Gerwin Klein
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
Term Rewriting and All That
  • DJVU
  • English
  • Year: 1998
  • Author: Franz Baader, Tobias Nipkow
Term Rewriting and All That
  • PDF
  • English
  • Year: 1998
  • Author: Franz Baader, Tobias Nipkow
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Henk Barendregt, Tobias Nipkow (eds.)
A Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security
  • AZW3
  • English
  • Year: 2011
  • Author: Klein, Tobias
A bug hunter's diary: a guided tour through the wilds of software security
  • EPUB
  • English
  • Year: 2011
  • Author: Klein, Tobias
A bug hunter's diary a guided tour through the wilds of software security
  • PDF
  • English
  • Year: 2011
  • Author: Klein, Tobias
A Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security
  • PDF
  • English
  • Year: 2011
  • Author: Tobias Klein
A Bug Hunter's Diary: A Guided Tour Through the Wilds of Software Security
  • EPUB
  • English
  • Year: 2011
  • Author: Tobias Klein
search