Cover of Formal methods

An edition of Formal methods (2003)

Formal methods

proceedings

By Keijiro Araki

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

1 Want to read0 Currently reading0 Have read

Publish Date

2003

Publisher

Springer

Language

eng

Pages

-

Description:

subjects: Programmanalyse, Programmverifikation, Formale Methode, Softwareentwicklung, Model Checking, Testen, Systementwicklung, Software, Computer software, development, Computer science, System design