| | |
| Titel: | Model-Checking von Java-Programmen | |
| Beschreibung: | Beim Testen wird das Verhalten des Gesamtsystems oder eines Teilesystems aufgrund ausgewählter Eingabevariablen in bestimmten Umgebungen getestet. | |
| ||
| Autor: | Marc Plümpe | |
| ||
| english | ||
| ||
| |<< Anfang < Zurück Index Weiter > Ende >>| | |  |
|
|
|
|
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: | |
| Aktiengesetz · GmbH-Gesetz: mit Umwandlungsgesetz, Wertpapiererwerbs- und Übernahmegesetz, Mitbestimmungsgesetzen und Deutschem Corporate Governance ... Governance Kodex, Rechtsstand: 1. Januar 2012 | |
| Microsoft Windows Workflow Foundation Step by Step (Microsoft Windows Step by Step) | |
| Ordnungswidrigkeitenrecht. Grundriss für Praxis und Ausbildung: Grundriss Fuer Praxis Und Ausbildung | |
Diese Seite ist Bestandteil des Projekts StudyPaper.com.
Dieser Artikel wurde uns freundlicherweise von Marc Plümpe zur Verfügung gestellt.
Zurück zur Themenseite:
StudyPaper.com/Startseite/Computer/Informatik
Das Setzen von Verweisen (Links) auf diese Seite ist gestattet und bedarf keine vorherige Absprache.
