Risultati della ricerca - "Formal methods (Computer science)"

  1. 1
    Copertina

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

    Pubblicazione ©1999
    Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

    Pubblicazione ©2003
    Libro

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

    Pubblicazione c1999
    Libro

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    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...

    Pubblicazione 2019
    Libro

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    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.

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

    Pubblicazione ©2006
    Libro

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    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...

    Pubblicazione c2006
    Libro

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

    Pubblicazione ©2002
    Libro

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

    Pubblicazione ©2004
    Libro

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

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

    Pubblicazione ©2012
    Libro

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

    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...

    Pubblicazione ©2003
    Libro

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

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

    Pubblicazione ©2004
    Libro

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

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

    Pubblicazione ©2000
    Libro

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

    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...

    Pubblicazione ©2011
    Libro

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

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

    Pubblicazione c2007
    Libro

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

    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.).

    Pubblicazione ©2004
    Libro

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

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

    Pubblicazione ©2004
    Libro

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

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

    Pubblicazione c2009
    Libro

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

    Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

    Pubblicazione 2000
    Libro

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

    Formal ontology in information systems : proceedings of the seventh International Conference (FOIS 2012) / edited by Maureen Donnelly and Giancarlo Guizzardi.

    Pubblicazione 2012
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: