„Programmanalyse“

Suchergebnisse

478 Treffer

• Formal methods and software engineering – proceedings
  Breitman, Karin 2009 Springer
• Runtime verification – 9th international workshop ; selected papers
  Bensalem, Saddek 2009 Springer
• Programmanalyse Regional- und Lokal-TV Berlin und Brandenburg
  Kerkau, Florian ; Link, Christine ; Wiegand, André 2009 Vistas
• Hacking mit Python – Fehlersuche, Programmanalyse, Reverse Engineering
  Seitz, Justin 2009 dpunkt-Verl.
• Tools and algorithms for the construction and analysis of systems – 15th international conference ; proceedings
  Kowalewski, Stefan 2009 Springer
• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2009 Springer
• TV-Programmanalyse
  Woelke, Jens 2008 RTR-GmbH
• Runtime verification – 8th international workshop ; selected papers
  Leucker, Martin 2008 Springer
• Leveraging applications of formal methods, verification and validation – third international symposium ; proceedings
  Margaria, Tiziana 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Verified software: theories, tools, experiments – second international conference ; proceedings
  Shankar, Natarajan 2008 Springer
• A flow analysis framework for realistic scheme programs
  Knauel, Eric Jean
• Struktur- und verhaltensbasierte Entwurfsmustererkennung
  Wendehals, Lothar 2008 Logos
• Verified software: theories, tools, experiments – first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions
  Meyer, Bertrand 2008 Springer
• TV-Programmanalyse
  Woelke, Jens 2007 RTR-GmbH
• Verification, model checking, and abstract interpretation – 9th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Programming languages and systems – 5th Asian symposium ; proceedings
  Shao, Zhong 2007 Springer
• Formal methods and software engineering – proceedings
  Butler, Michael 2007 Springer
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer
• Variations on constants – flow analysis of sequential and parallel programs
  Müller-Olm, Markus 2006 Springer