Результати пошуку - "Formale Methode"

  1. 1
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    The jagged edge of somewhere / by Amy Crofford.

    Опубліковано 2003
    Книга

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

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

    Опубліковано ©2004
    Книга

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

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

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de...

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / Alexander Kurz, Marina Lenisa, Andrzej Ta...

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / An...

    Опубліковано ©2006
    Книга

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

    Опубліковано ©2005
    Книга

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

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

    Опубліковано 1981
    Книга

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Principles of cyber-physical systems / Rajeev Alur.

    Опубліковано 2015
    Книга

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

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

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Viníci...

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / Frank S. de Boer, Marcello M....

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.).

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

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

    Опубліковано 2010
    Книга

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

    Software language engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / Mark van den Brand, Dragan Gašević, Jeff G...

    Опубліковано ©2010
    Книга

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: