| | |
| Title: | Model-Checking von Java-Programmen | |
| Description: | Beim Testen wird das Verhalten des Gesamtsystems oder eines Teilesystems aufgrund ausgewählter Eingabevariablen in bestimmten Umgebungen getestet. | |
| ||
| Author: | Marc Plümpe | |
| ||
| deutsch | ||
| ||
| |<< First < Previous Index Next > Last >>| | |  |
|
|
|
|
Mobile Information Device Profile for Java 2 Micro Edition (J2ME): Professional Developer's Guide (Professional Developer's Guides) von C. E. Ortiz, Eric Giguère | |
| Sonstige Artikel: | |
| Natura - Biologie für Gymnasien in Niedersachsen. Neue Ausgabe G8. Schülerbuch 11./12. Schuljahr: BD 4 | |
| Kaplan TOEFL iBT with CD-ROM (Kaplan TOEFL IBT (w/CD)) von Kaplan | |
| Internationales und Europäisches Strafrecht: Strafanwendungsrecht - Europäisches Straf- und Strafverfahrensrecht - Völkerstrafrecht | |
This web site is a part of the project StudyPaper.com.
We are grateful to Marc Plümpe for contributing this article.
Back to the topic site:
StudyPaper.com/Startseite/Computer/Informatik
External Links to this site are permitted without prior consent.
