Record number

1376

Title

Industrial-Strength Formal Methods in Practice

Publication

UK Springer

Published Year

1999

Fierst Pages

0

Main Pages

400

Collation

400

Notes

005.131^cI5 , Glossary

Reprint

False

Contents

0

Print issue

0

Subject

Formal methods )Computer Science(

Class

005.131

CutterNumber

I5

Language

انگليسي