1
0
0
(1 - 30 von 37
)
Jahrbuch der Gesellschaft der Freunde der FernUniversität
von Arnd Poetzsch-Heffter, Gesellschaft der Freunde der Fernuniversität e.V., 2000, Taschenbuch
Konzepte objektorientierter Programmierung: Mit einer Einfuhrung in Java (eXamen.press) (German Edition): Mit einer Einführung in Java
von Arnd Poetzsch-Heffter, Springer, 2009, Kindle Edition
„Poetzsch-Heffter, Arnd, Konzepte objektorientierter Programmierung -...
www.booklooker.de
Poetzsch-Heffter, Arnd, Konzepte objektorientierter Programmierung - Mit einer Einführung in Java – Bücher gebraucht, antiquarisch & neu kaufen ✓...
Konzepte objektorientierter Programmierung / eXamen.press ...
www.weltbild.de
... als eBook herunterladen & mit Ihrem Tablet oder eBook Reader lesen - Konzepte objektorientierter Programmierung eXamen.press von Arnd Poetzsch-Heffter. › artikel › ebook › konzepte-o...
Konzepte Objektorientierter Programmierung - Goodreads
www.goodreads.com
Arnd Poetzsch-Heffter · Rating details · 0 ratings · 0 reviews. Das Buch bietet eine kompakte Einfuhrung in die Konzepte objektorientierter ... › book › show ›
Konzepte Objektorientierter Programmierung - Booktopia
www.booktopia.com.au
Booktopia has Konzepte Objektorientierter Programmierung, Examen.press by Arnd Poetzsch-Heffter. Buy a discounted Paperback of Konzepte Objektorientierter ... › book
Preim Bernhard Libri Inglesi - I Libri Inglesi Preim Bernhard -...
www.libreriauniversitaria.it
Preim Bernhard Libri Inglesi. Acquista Libri Inglesi Preim Bernhard su Libreria Universitaria, oltre 8 milioni di libri a catalogo. Scopri Sconti e Spedizione...
Konzepte objektorientierter Programmierung (eBook, PDF)
www.buecher.de
Home · eBook · Fachbücher · Informatik. Arnd Poetzsch-Heffter. Konzepte objektorientierter Programmierung (eBook, PDF). Mit einer Einführung in Java. › ... › Fachbücher › Informatik
Engineering Methods and Tools for Software Safety and Security
books.google.com
K. Rustan M. Leino, Arnd Poetzsch-Heffter, and Yunhong Zhou. Using data groups to specify and check side effects. In Proceedings of the ACM SIGPLAN ...
Konzepte objektorientierter Programmierung: Mit einer ...
books.google.com
Arnd Poetzsch-Heffter Konzepte objektorientierter Programmierung Mit einer Einführung in Java 2., überarbeitete Auflage 123 Prof. Dr. Arnd Poetzsch-Heffter ...
Visual Library .NET - Die Suchmaschine für wissenschaftliche...
www.visuallibrary.net
Visual Library .NET bietet Ihnen einen einfachen Online-Zugang zu über 20 Bibliotheken, Buchhandlungen, Fachdatenbanken, Enzyklopädien und Archiven im...
arnd poetzsch heffter: 3 Books available | chapters.indigo.ca
www.chapters.indigo.ca
Buy arnd poetzsch heffter Books at Indigo.ca. Shop amongst our popular books, including 3, Principled Software Development, Formal Techniques for Distributed...
ECOOP Object-Oriented Programming: 18th European Conference,...
books.google.de
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of...
Principled Software Development: Essays Dedicated to Arnd ...
books.google.com
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday Peter Müller, Ina Schaefer. References. 1. Anindya Banerjee, David A. Naumann ...
Abstract State Machines - Theory and Applications: International...
books.google.de
... Langmaack Larry Moss Peter Mosses Martin Odersky Alfonso Pierantonio Arnd Poetzsch-Heffter Elvinia Riccobene Dean Rosenzweig Harald Ruess Daniel ...
Authors: Poetzsch
www.nuprl.org
Formalizing Program Synthesis. Arnd Poetzsch, April 27, Department of Computer Science, Cornell University .edu.
JIT’98 Java-Informations-Tage 1998: Frankfurt/Main, November...
books.google.de
Anwendungsbezogen und entwicklungsorientiert wird in diesem Band die Java-Technologie diskutiert. Ausgehend von praktischen Erfahrungen diskutieren die Autoren...
Compiler Construction: 4th International Conference, CC '92,...
books.google.de
The International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the area of compiler...
The Common Component Modeling Example: Comparing Software Component...
books.google.de
Based on the Dagstuhl Research Seminar CoCoME, this book defines a common example for modeling approaches of component-based systems. The book makes it...
Mitteilungen der Gesellschaft für Informatik Folge (Fortsetzung ...
hi.booksc.eu
... Andreas Podelski, Freiburg; Arnd Poetzsch-Heffter, Kaiserslautern; Klaus Pohl, Duisburg; Helmut Seidl, TU München; Gregor Snelting, KIT; Heike Wehrheim, ... › book
Übersetzung objektorientierter Programmiersprachen: Konzepte,...
books.google.de
Dr. Arnd Poetzsch-Heffter am Institut für Informatik der TU München entwickelt worden ist. Die Eigenschaften des MAX-Systems sowie die MAX-Spezifikationen ...
Formal Verification of Object-Oriented Software: International...
books.google.de
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...
Object-Oriented Technology. ECOOP Workshop Reader: ECOOP
books.google.de
1 Christophe Rhodes,. Peter Pepper (Co-chair) Arnd Poetzsch-Heffter (Co-chair) Uwe Aßmann Lodewijk Bergmans Nick Mitchell Mario S ̈udholt Jan Vitek ...
PRL Project - Knowledge Base
www.nuprl.org
implementing com…tional mathematics and providing logic-based tools that help automate programming
Programming Logics: Essays in Memory of Harald Ganzinger - Google...
books.google.de
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which...
Formal Methods for Components and Objects: First International ...books.google.co.uk › books
books.google.co.uk
Arnd Poetzsch-Heffter. A logic for the verification of object-oriented programs. In Rudolf Berghammer and Friedeman Simon, editors, Proceedings of ...
Title | Author [Author] | download
hi.1lib.limited
... Germany Claus Pahl Dublin City University, Ireland Arnd Poetzsch-Heffter Kaiserslautern University of Technology, Germany Elke Pulvermüller University ... › book
Foundations of Component-Based Systems - Google Books
books.google.de
This collection of articles by well-known experts was originally published in and is intended for researchers in computer science, practitioners of formal...
Programming Languages and Systems: 15th European Symposium on...
books.google.de
Peter M ̈uller and Arnd Poetzsch-Heffter. Universes: A Type System for Controlling Representation Exposure. In Programming Languages and Fundamentals ...
Verwandte Suchanfragen zu Arnd Poetzsch-Heffter
Peter Müller Annette Bieniusa Jan Schäfer | Patrick Michel Hartmut Opperskalski Fabian Poetzsch Heffter |
Personen Vorname "Arnd" (2348) Name "Poetzsch-Heffter" (11) |
sortiert nach Relevanz / Datum