Linguistische Verifikation.
von Roland HAUSSER
Dokumentation zur Ersten Morpholympics 1994. Tübingen, Niemeyer 1996. VI, 181 S., OKart. Neuwertig.
Stichwort: Verifikation
von Bundesminister der Verteidigung
1992. 30 x 21 22 Seiten. OKart. Ordnungsgemäß aus Bundeswehrbeständen ausgeschiedenes Bibliotheksexemplar (Stempel, Kleberückstände Rückenschild, keine Ausleihkarte und keine Folie). Guter Zustand.
Software-Verifikation - Verfahren für den Zuverlässigkeitsnachweis von Software
von Wolfgang Ehrenberger Verlag: Hanser, Carl,
2001. Gebrauchs- und Lagerspuren. Innen: Geknickt. 249299/3
Verite et Verification - Wahrheit und Verifikation. - Akten des vierten Internationalen Kolloquiu…
von H. L. Van Breda Verlag: Den Haag, Nijhoff
(Phaenomenologica, Band 61.) 1974. Leinen VI, 223 Seiten. Umschlag lichtrandig und bestoßen. Ansonsten gut bis sehr gut erhalten. 9024717027
Programmkonstruktion und Verifikation.
von Roland C Backhouse Verlag: München ; Wien : Hanser - London : Prentice-Hall…
1989. gebundene Ausgabe 264 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet.
Induktion ¿ Verifikation ¿ Falsifikation? - Ein Beitrag zum Versuch innerhalb der Wissenschaftsthe…
von Anna Block
2014 Kartoniert, 12 Seiten, 210mm x 148mm x 2mm, Sprache(n): ger Essay aus dem Jahr 2012 im Fachbereich Philosophie - Philosophie des 20. Jahrhunderts, Note: 1, 0, Ruhr-Universität Bochum, Sprache: Deutsch, Abstract: Wissenschaftstheorie/-philosophie ist die philosophische Auseinandersetzung mit…
Programmentwicklung und Verifikation
von Gerald Futschek
1989 Kartoniert, 204 Seiten, 244mm x 170mm x 12mm, Sprache(n): ger Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung…
Verifikation unvollständiger Schaltkreise
von Tobias Nopper Verlag: Der Andere Verlag,
2015. Gepflegter, sauberer Zustand. Außen: Buchschnitt verkürzt. 26596749/12
Programmentwicklung und Verifikation
von Gerald Futschek Verlag: Springer Wien,
1989. Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 309679/202
Programmkonstruktion und Verifikation
von Roland C Backhouse Verlag: Hanser, Carl,
1989. Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 38542160/202
- Volltext
- Verifikation
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!