Logics of Specification Languages

Format:: e-book
Title:: Logics of Specification Languages
Author:: Bjørner, Dines; Bjorner, Dines; Henson, Martin C.
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-74106-2
3-642-09345-0
9786611133641
1-281-13364-7
3-540-74107-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000408472?locale=en