Programming Logics

Format:

e-book

Title:

Programming Logics

Author:

Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Weidenbach, Christoph

Language:

English

Publisher:

Springer Berlin Heidelberg 2013

ISBN:

3-642-37650-9
3-642-37651-7

Permalink:

http://bibtest.howest.be/catalog/ebk03:3280000000007605?locale=en