Leveraging Applications of Formal Methods

Type:

e-book

Titel:

Leveraging Applications of Formal Methods

Auteur:

Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2006

ISBN:

3-540-48928-2
3-540-48929-0

Permalink:

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