Explore Books on
programmierlogik

A connotational theory of program structure

By James S. Royer

From logic design to logic programming

By Dominique Snyers

Programming Languages and Systems

By Zhenjiang Hu

Computer science logic

By Workshop on Computer Science Logic (19th 2005 Oxford, England)

Logics of Programs and Their Applications

By A. Salwicki

Logic, language, information, and computation

By Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)

Logic-Based Program Synthesis and Transformation

By Danny De Schreye

Verification of object-oriented software

By Bernhard Beckert

Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings

By Anuj Dawar

Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings

By Hiroakira Ono

Computer science logic

By CSL 2009 (2009 Coimbra, Portugal)

Computer science logic

By CSL 2010 (2010 Brno, Czech Republic)

Frontiers of combining systems

By FroCOS 2009 (2009 Trento, Italy)