Formal Methods: State of the Art and New Directions

Type:

e-book

Titel:

Formal Methods: State of the Art and New Directions

Auteur:

Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed

Taal:

Engels

Uitgever:

Springer London 2010

ISBN:

1-84882-735-0
9786612835926
1-84882-736-9
1-282-83592-0

Onderwerp:

Information Technology Software Engineering

Permalink:

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