Logics of Specification Languages

Type:: e-book
Titel:: Logics of Specification Languages
Auteur:: Bjørner, Dines; Bjorner, Dines; Henson, Martin C.
Taal:: Engels
Uitgever:: 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