Filters
Advanced Search Browse by Genre

Found 14 results for "Programmierlogik"

Programmierlogik
Programmierlogik

by Franz Fischbach

1976 1 ed.
Computer programming
Logics of Programs and Their Applications
Logics of Programs and Their Applications

by A. Salwicki

1983 1 ed.
Congrès Structure logique Programmation (Informatiq...
A connotational theory of program structure
A connotational theory of program structure

by James S. Royer

1987 2 ed.
Computer programming Programming languages (El... Programmation
Computer science logic
Computer science logic

by CSL 2009 (2009 Coimbra, Portugal)

2009 1 ed.
Computer logic Kongress Congresses
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation

by Danny De Schreye

2010 1 ed.
Logic design Software engineering Computer science
Computer science logic
Computer science logic

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

2005 1 ed.
Computer logic Congresses COMPUTERS
Computer science logic
Computer science logic

by CSL 2010 (2010 Brno, Czech Republic)

2010 1 ed.
Computer logic Congresses Computational logic
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Logic design Software engineering Data protection
Frontiers of combining systems
Frontiers of combining systems

by FroCOS 2009 (2009 Trento, Italy)

2009 1 ed.
Informatik Symbolic and mathematical... Problemlösen
From logic design to logic programming
From logic design to logic programming

by Dominique Snyers

1987 2 ed.
Logic programming Algorithms Automatic theorem proving
Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings
Logic Language Information And Computation 16th Internationa...

by Hiroakira Ono

2009 1 ed.
Computational complexity Information theory Computer science
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.
Java (Computer program la... Object-oriented methods (... Verification
Logic, language, information, and computation
Logic, language, information, and computation

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

2013 1 ed.
Computer logic Congresses Symbolic and mathematical...
Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
Logic Language Information And Computation 17th Internationa...

by Anuj Dawar

2010 1 ed.
Mathematical Logic and Fo... Berechnungstheorie Computer logic