Search: “Programmierlogik”

14 books found

Programmierlogik

Programmierlogik

Franz Fischbach

19761 ed.
A connotational theory of program structure

A connotational theory of program structure

James S. Royer

19872 ed.
Logics of Programs and Their Applications

Logics of Programs and Their Applications

A. Salwicki

19831 ed.
Programming Languages and Systems

Programming Languages and Systems

Zhenjiang Hu

20092 ed.
From logic design to logic programming

From logic design to logic programming

Dominique Snyers

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

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

Hiroakira Ono

20091 ed.
Computer science logic

Computer science logic

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

20051 ed.
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Danny De Schreye

20101 ed.
Frontiers of combining systems

Frontiers of combining systems

FroCOS 2009 (2009 Trento, Italy)

20091 ed.
Verification of object-oriented software

Verification of object-oriented software

Bernhard Beckert

20071 ed.
Computer science logic

Computer science logic

CSL 2009 (2009 Coimbra, Portugal)

20091 ed.
Computer science logic

Computer science logic

CSL 2010 (2010 Brno, Czech Republic)

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

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

Anuj Dawar

20101 ed.
Logic, language, information, and computation

Logic, language, information, and computation

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

20131 ed.