1
0
0
(1 - 21 von 23
)
Wolfram Schulte | Autorenprofil und Werke | beck-shop.de
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Wolfram Schulte . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.
bokus.com: Formal Methods and Software Engineering - Jim Davies ...www.bokus.com › bok › formal-methods-and-so...
Pris: kr. Häftad, Skickas inom vardagar. Köp Formal Methods and Software Engineering av Jim Davies, Wolfram Schulte, Mike Barnett på ...
Formal Methods and Software Engineering von Jim Davies / Wolfram...
www.buecher.de
This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in...
An Introduction to TkGofer - Ton Vullinghs, Wolfram Schulte ...books.google.com › books › about › An_Introdu...
books.google.de
An Introduction to TkGofer. Front Cover. Ton Vullinghs, Wolfram Schulte, Thilo Schwinn. Univ., Fak. für Informatik, pages. 0 Reviews ...
Abstract State Machines Advances in Theory and Practice: 10th...
books.google.de
Environmental chemistry is a new, fast developing science aimed at deciphering fundamental mechanisms ruling the behaviour of pollutants in ecosystems....
Architecture Design and Validation Methods - Google Books
books.google.de
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on...
Mutation Testing Repository - Université du Luxembourgmutationtesting.uni.lu › search_author
mutationtesting.uni.lu
1, Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte Mutation Analysis of Parameterized Unit Tests Proceedings of the 4th ...
Construction and Analysis of Safe, Secure, and Interoperable Smart...
books.google.de
Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte Microsoft Research, Redmond, WA, USA &# Abstract. The Spec# ...
Integrated Formal Methods: 6th International Conference, IFM 2007,...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all...
Programming Language Implementation and Logic Programming: 6th...
books.google.de
Wolfram Schulte Universitat Ulm D Ulm, Germany (wolfram @ informatik.uni-ulm.de) Abstract. We present a strategy to derive an efficient reference count ...
Emerging Trends in Information and Communication Security:...
books.google.de
This book constitutes the refereed proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS 2006, held...
Formal Methods: Foundations and Applications: 15th Brazilian...
books.google.de
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012;...
Informatik ’97 Informatik als Innovationsmotor: 27. Jahrestagung der...
books.google.de
Der Band enthält die Tagungsbeiträge zur 27. Jahrestagung der Gesellschaft für Informatik Schwerpunkte der Darstellung sind zentrale Forschungsergebnisse...
Java and the Java Virtual Machine: Definition, Verification,...
books.google.de
During that seminar, after Egon Börger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant ...
Model Driven Engineering Languages and Systems: 14th International...
books.google.de
MODELS was also very lucky to welcome Wolfram Schulte as a keynote speaker. Wolfram is a principal researcher and the founding manager of Microsoft's ...
Software Engineering im Unterricht der Hochschulen SEUH ’95: Workshop...
books.google.de
Erfahrungen bei der Gestaltung eines Software-Grundpraktikums Wolfram Schulte Universität Ulm „Ziel der Lehrveranstaltung ist die praxisnahe Abwicklung ...
Model-Based Software Testing and Analysis with C# - Jonathan Jacky,...
books.google.de
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test...
FM 2011: Formal Methods: 17th International Symposium on Formal...
books.google.de
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June The
Formal Approaches to Software Testing and Runtime Verification: First...
books.google.de
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA'02, volume 27 of Software Engineering Notes, pages 112–122. ACM, Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and ...
Programming Languages and System Architectures: International...
books.google.de
Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a...
Sportsponsoring im Nachwuchsbereich: Dargestellt am Beispiel der...
books.google.de
Bereich Sponsoring Schulte: Wolfram: Schulte: Wolfram: Schulte: Fritsch: Schulte: Fritsch: Wieviel Personen sind für das Sponsoring zuständig? Insgesamt sind in der Abteilung Marketing/ Kommunikation vier Personen für das Sponsoring zuständig, davon zwei für das Kultur- und zwei für das Sportsponsoring. Im Bereich ...
Verwandte Suchanfragen zu Wolfram Schulte-Eppendorf
| Wolfram Schulte Brigitte Wesselmann |
Personen Vorname "Wolfram" (6244) Name "Schulte-Eppendorf" (9) |
sortiert nach Relevanz / Datum