B Symbols

Saved in:
Bibliographic Details
Published inConcrete Semantics
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Subjects
Computer programming / software development
Mathematical theory of computation
Programming & scripting languages: general
Online AccessGet full text
ISBN3319105418
9783319105413

Cover

More Information
ISBN:3319105418
9783319105413