Refinement Techniques in Software Engineering

Type:

e-book

Titel:

Refinement Techniques in Software Engineering

Auteur:

Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcock, Jim

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2006

ISBN:

3-540-46253-8
3-540-46254-6

Onderwerp:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000283985