Suchergebnisse - "Formal methods (Computer science)"

  1. 1
    Buchumschlag

    Formal methods in computer science / Jiacun Wang, William Tepfenhart.

    Veröffentlicht 2020
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).

    Veröffentlicht ©1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Proceedings : 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : Boca Raton, Florida, October 21-23, 1998 / sponsored by IEEE Computer Society, Technical Co...

    Veröffentlicht c1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.

    Veröffentlicht ©2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 20...

    Veröffentlicht 2019
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer.

    Veröffentlicht ©2009
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Proceedings of the Fourth ACM Workshop on Formal Methods in Security 2006, Alexandria, Virginia, USA, November 03 - 03, 2006. [electronic resource] :

    Veröffentlicht ©2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England / edited by Mike Hinchey, Tziana...

    Veröffentlicht c2007
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies,...

    Veröffentlicht ©2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Software specification methods edited by Henri Habrias, Marc Frappier. [electronic resource] /

    Veröffentlicht 2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).

    Veröffentlicht ©2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds...

    Veröffentlicht ©2011
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).

    Veröffentlicht ©2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    The correctness-by-construction approach to programming / Derrick G. Kourie, Bruce W. Watson.

    Veröffentlicht ©2012
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    Domain modeling-based software engineering : a formal approach / by Ruqian Lu, Zhi Jin.

    Veröffentlicht ©2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George,...

    Veröffentlicht ©2002
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India / edited by Dang Van Hung, Paritosh Pa...

    Veröffentlicht c2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revise...

    Veröffentlicht ©2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim W...

    Veröffentlicht ©2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam / editors, Dang Van Hung, Padmanabhan K...

    Veröffentlicht c2009
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: