„Programmierlogik“

Suchergebnisse

147 Treffer

• Logic and program semantics – essays dedicated to Dexter Kozen on the occasion of his 60th birthday
  Constable, Robert Lee ; Kozen, Dexter 2012 Springer
• Verification – theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
  Dershowitz, Nachum ; Manna, Zohar 2003 Springer
• Advances in computer science - ASIAN 2009 – information security and privacy ; proceedings
  Datta, Anupam 2009 Springer
• Foundations of software science and computation structures – 20th international conference : FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Esparza, Javier ; Murawski, Andrzej S. 2017 Springer
• Logik der Programmierung
  Dreehsen, Heinz-Gerd VDE-Verl.
• Computer science logic – 19th international workshop ; proceedings
  Ong, Luke 2005 Springer
• Foundations of Software Science and Computation Structures – 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Muscholl, Anca 2014 Springer Berlin Heidelberg
• Foundations of software science and computation structures – 17th international conference ; proceedings
  Muscholl, Anca 2014 Springer
• Logic for programming, artificial intelligence, and reasoning – 10th international conference ; proceedings
  Vardi, Moshe Y. 2003 Springer
• Computer science logic – proceedings
  Baaz, Matthias 2003 Springer
• Logic for programming, artificial intelligence, and reasoning – 9th international conference ; proceedings
  Baaz, Matthias 2002 Springer
• Computer science logic – 16th international workshop ; proceedings
  Bradfield, Julian 2002 Springer
• Logic for programming, artificial intelligence, and reasoning – 8th international conference ; proceedings
  Nieuwenhuis, Robert 2001 Springer
• Computer science logic – 15th international workshop ; proceedings
  Fribourg, Laurent 2001 Springer
• Automated reasoning – first international joint conference ; proceedings
  Goré, Rajeev 2001 Springer
• Advances in computing science - ASIAN 2000 – proceedings
  He, Jifeng 2000 Springer
• Logic for programming and automated reasoning – 7th international conference ; proceedings
  Parigot, Michel 2000 Springer
• Programming Logics – Essays in Memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer Berlin Heidelberg
• Programming logics – essays in memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer