Programming Logics

Full text!
Type:
e-book
Titel:
Programming Logics
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Weidenbach, Christoph
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2013
ISBN:
3-642-37650-9
3-642-37651-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:3280000000007605