|
|
|
1.
Title:
Formal methods : state of the art and new directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors.
Publication:
Springer, London ; New York : c2010.
|
|
|
|
2.
Title:
Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby.
Cambridge series on human-computer interaction ;
Publication:
Cambridge University Press, Cambridge ; New York : 1990.
|
|
|
|
3.
Title:
Domain modeling-based software engineering : a formal approach / by Ruqian Lu, Zhi Jin.
The Kluwer international series on Asian studies in computer and information science ;
Author:
Lu, Ruqian, 1935-
Publication:
Kluwer Academic, Boston, MA : c2000.
|
|
|
|
4.
Title:
Formal methods fact file : VDM and Z / Andrew Harry.
Wiley series in software engineering practice
Author:
Harry, Andrew.
Publication:
Wiley, Chichester [England] ; New York : 1996.
|
|
|
|
5.
Title:
Practical formal methods with VDM / Derek Andrews and Darrel Ince.
Author:
Andrews, Derek.
Publication:
McGraw-Hill, London ; New York : c1991.
|
|
|
|
6.
Title:
Modern formal methods and applications / edited by Hossam A. Gabbar.
Publication:
Springer, Dordrecht : c2006.
|
|
|
|
7.
Title:
Computers in language research : formal methods / ed. by Walter A. Sedelow Jr., and Sally Yeates Sedelow.
Trends in linguistics . Studies and monographs ;
Publication:
Mouton, [2514 GC] The Hague : 1979.
|
|
|
|
8.
Title:
Formal methods in safety critical systems : report / of the Public Affairs Board, Safety Critical Systems Committee, the Institution of Electrical Engineers.
Public affairs report ;
Public Affairs Board Report ;
Author:
Institution of Electrical Engineers. Public Affairs Board.
Publication:
Public Affairs Board, IEE, [London] : 1991.
|
|
|
|
9.
Title:
Applications of formal methods / edited by Michael G. Hinchey and Jonathan P. Bowen.
Prentice Hall international series in computer science
Publication:
Prentice Hall, London ; New York : 1995.
|
|
|
|
10.
Title:
Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
Advances in formal methods ;
Author:
Kaufmann, Matt.
Publication:
Kluwer Academic Publishers, Boston : 2000.
|
|
|
|
|
|
|