![Spezifikation, Simulation und Validierung von Prozessoren Spezifikation, Simulation und Validierung von Prozessoren](https://bilder.buecher.de/produkte/39/39719/39719853mq.jpg)
Broschiertes Buch
Spezifikation auf einem hohen Abstraktionsniveau, modellbasiertes Testen, dynamische Validierung, Simulation
19. September 2013
Südwestdeutscher Verlag für Hochschulschriften
![Entwicklung einer visuellen domänenspezifischen Sprache Entwicklung einer visuellen domänenspezifischen Sprache](https://bilder.buecher.de/produkte/31/31300/31300267m.jpg)
Broschiertes Buch
Konzeption, Implementation, Evaluation
2010
VDM Verlag Dr. Müller
Ähnliche Artikel
![Informatik 2000 Informatik 2000](https://bilder.buecher.de/produkte/14/14736/14736735m.jpg)
Broschiertes Buch
Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.¿22. September 2000
2000.
13. September 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67880-9
![Objektbasierte Programmierung mit Go Objektbasierte Programmierung mit Go](https://bilder.buecher.de/produkte/68/68122/68122010m.jpg)
Broschiertes Buch
2. Aufl.
4. Oktober 2023
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
89222248,978-3-658-42013-0
![Graphische Spezifikation von Core-basierten Sicherheitsmodellen Graphische Spezifikation von Core-basierten Sicherheitsmodellen](https://bilder.buecher.de/produkte/44/44507/44507852n.jpg)
Broschiertes Buch
und Implementierung eines geeigneten Editors
6. Januar 2016
AV Akademikerverlag
![Flagorientierte Assoziativspeicher und -prozessoren Flagorientierte Assoziativspeicher und -prozessoren](https://bilder.buecher.de/produkte/36/36112/36112114m.jpg)
Broschiertes Buch
1990.
4. April 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52487-8
![Objektbasierte Programmierung mit Go Objektbasierte Programmierung mit Go](https://bilder.buecher.de/produkte/62/62393/62393953m.jpg)
Broschiertes Buch
1. Aufl. 2021
17. Dezember 2021
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
978-3-658-35524-1
![Basiswissen modellbasierter Test Basiswissen modellbasierter Test](https://bilder.buecher.de/produkte/44/44786/44786023m.jpg)
Gebundenes Buch
Aus- und Weiterbildung zum ISTQB® Foundation Level - Certified Model-Based Tester
2., überarb. u. aktualis. Aufl.
29. September 2016
dpunkt
![Rechnerarchitektur für Dummies. Das Lehrbuch Rechnerarchitektur für Dummies. Das Lehrbuch](https://bilder.buecher.de/produkte/63/63722/63722761m.jpg)
Broschiertes Buch
1. Auflage
12. Oktober 2022
Wiley-VCH / Wiley-VCH Dummies
1171850 000
![wp-Kalkül und relationale Spezifikation kommunizierender Systeme wp-Kalkül und relationale Spezifikation kommunizierender Systeme](https://bilder.buecher.de/produkte/63/63580/63580441m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 1996)
2022
Utz Verlag
![Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen](https://bilder.buecher.de/produkte/37/37674/37674395m.jpg)
Broschiertes Buch
Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
2002
1. November 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44332-2
![Recent Trends in Data Type Specification Recent Trends in Data Type Specification](https://bilder.buecher.de/produkte/09/09223/09223825m.jpg)
Broschiertes Buch
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
1991.
11. September 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54496-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON