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 :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=1376
