Programs, Proofs, Processes - bib.howest.be

Programs, Proofs, Processes

Format:: e-book
Title:: Programs, Proofs, Processes
Author:: Ferreira, Fernando; Kanade, Takeo; Löwe, Benedikt; Mayordomo, Elvira; Mendes Gomes, Luís; Gomes, Luís Mendes
Language:: English
Publisher:: Springer Berlin Heidelberg 2010
ISBN:: 3-642-13961-2
9786613565440
3-642-13962-0
1-280-38752-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000028971?locale=en