Suchergebnisse - "Program verification (computers)"

  1. 1
    Buchumschlag

    An approach to verification and validation of a reliable multicasting protocol : extended abstract / by John R. Callahan and Todd L. Montgomery.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Software reliability studies : final report for the period ended October 31, 1994 / by Larry W. Wilson.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Assessing the impact of modeling limits on intelligent systems / William B. Rouse and John M. Hammer.

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Transformational derivation of programs using the Focus system / Uday S. Reddy.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Toward fidelity between specification and implementation / by John R. Callahan [and others].

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Design, implementation, and verification of the reliable multicast protocol / by Todd L. Montgomery.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Proceedings of the Nineteenth Annual Software Engineering Workshop.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    Mar cántico. [Con dibujos originales de la artista Marta Belmes.

    Veröffentlicht 1970
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Bibliographie des œuvres de Zénaïde Hippius = Zinaida Gippius, bibliografii︠a︡ / établie par Any Barda ; [publié par le Laboratoire de slavistique de Paris I].

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Puspitasari, prawan Bali; gambar S. Har.

    Veröffentlicht 1964
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Formal verification of the AAMP-FV microcode / Steven P. Miller [and others].

    Veröffentlicht 1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Development of a flight software testing methodology : final report / Edward J. McCluskey and Dorothy M. Andrews.

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    Software safety progress in NASA / Charles F. Radley.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    Experiences using formal methods for requirements modeling / by Steve Easterbrook [and others].

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    The specification-based validation of Reliable Multicast Protocol : problem report / Yunqing Wu.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    SAGA, a project to automate the management of software production systems : 1987 mid-year report / principal investigator, Roy H. Campbell.

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    Turbulence modeling / Jorge E. Bardina.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    Integrating O & S models during conceptual design : PART III:simulation of maintenance and logistics support of proposed space systems using SLAM II / prepared by Charles E. Ebelin...

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    Formal methods for verification and validation of partial specifications : a case study / by Steve Easterbrook and John Callahan.

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    Development of a software safety process and a case study of its use : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: