Applications of formal methods
Other Authors: | , |
---|---|
Format: | Book |
Published: |
London
Prentice Hall
1995.
|
Series: | Prentice-Hall international series in computer science
|
Subjects: |
Other Authors: | , |
---|---|
Format: | Book |
Published: |
London
Prentice Hall
1995.
|
Series: | Prentice-Hall international series in computer science
|
Subjects: |