Risultati della ricerca - "Formale Methode."

  1. 1
    Copertina

    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures /...

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandr...

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    The jagged edge of somewhere / by Amy Crofford.

    Pubblicazione 2003
    Libro

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (eds.).

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler.

    Pubblicazione 1981
    Libro

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers / John-Jules...

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (ed...

    Pubblicazione 2010
    Libro

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / Jose Luiz Fiadeiro [and others] (eds.).

    Pubblicazione ©2005
    Libro

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

    Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / Hiroakira Ono, Makoto Kanazawa, Ruy de Queir...

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandra...

    Pubblicazione 2009
    Libro

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

    Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2...

    Pubblicazione 2010
    Libro

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

    Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / Jens Palsberg (ed.).

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

    Principles of cyber-physical systems / Rajeev Alur.

    Pubblicazione 2015
    Libro

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

    Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri,...

    Pubblicazione 2006
    Libro

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

    Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.).

    Pubblicazione ©2006
    Libro

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

    Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / Bernhard Beckert, Claude March...

    Pubblicazione 2011
    Libro

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

    Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6,...

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

    Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009: proceedings /cAndy Schürr, Brian Selic (eds.).

    Pubblicazione ©2009
    Libro

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

    Formal aspects of computing [electronic resource].

    Continuing Resources

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

    Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.)...

    Pubblicazione ©2005
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: