Programs, Proofs, Processes

Type:

e-book

Titel:

Programs, Proofs, Processes

Auteur:

Ferreira, Fernando; Kanade, Takeo; Löwe, Benedikt; Mayordomo, Elvira; Mendes Gomes, Luís; Gomes, Luís Mendes

Taal:

Engels

Uitgever:

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