Meklēšana Attēli Maps Play YouTube Ziņas Gmail Disks Vēl »
Ieiet
Grāmatas Grāmatas
" D. Craigen, S. Gerhart, and T. Ralston, "Formal Methods Reality Check: Industrial Usage," IEEE Transactions on Software Engineering, vol. "
Specifying Software: A Hands-On Introduction - 8. lappuse
autors: R. D. Tennent - 2002 - 289 lapas
Ierobežota priekšskatīšana - Par šo grāmatu

Encyclopedia of Computer Science and Technology: Volume 38 - Supplement 23 ...

Allen Kent, James G. Williams - 1998 - 416 lapas
...Commerce, National Institute of Standards, Computer Systems Laboratory, Gaithersburg, MD (March 1993). 20. D. Craigen, S. Gerhart, and T. Ralston, "Formal Methods Reality Check: Industrial Usage," IEEE Trans. Software Eng., 21(2), 90-98 (1995). 21. S. Austin and GI Parkin, "Formal Methods: A Survey,"...
Ierobežota priekšskatīšana - Par šo grāmatu




  1. Mana bibliotēka
  2. Palīdzība
  3. Izvērstā grāmatu meklēšana