„Programmierlogik“

Suchergebnisse

147 Treffer

• Logic, language information and computation – 14th international workshop ; proceedings
  Leivant, Daniel 2007 Springer
• Verification of object oriented software – the KeY approach
  Beckert, Bernhard 2007 Springer
• Logic for programming, artificial intelligence, and reasoning – 13th international conference ; proceedings
  Hermann, Miki 2006 Springer
• Computer science logic – 20th international workshop ; proceedings
  Ésik, Zoltán 2006 Springer
• Automated reasoning – third international joint conference ; proceedings
  Furbach, Ulrich 2006 Springer
• Logic for programming, artificial intelligence, and reasoning – 12th international conference ; proceedings
  Sutcliffe, Geoff 2005 Springer
• Grundlagen der Programmierlogik
  Pérez, Marcus 2017 marpes Verlag