Rolf Drechsler
Beliebte Artikel von Rolf Drechsler
Alle Angebote anzeigen-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Artikelpreise ab
7 Angebote anzeigenEUR 15,00
-
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Chandrasekharan, Arun; Große, Daniel; Drechsler, Rolf
Artikelpreise ab
10 Angebote anzeigenEUR 17,00
-
-
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Artikelpreise ab
11 Angebote anzeigenEUR 53,56
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Artikelpreise ab
9 Angebote anzeigenEUR 18,00
-
Robustness and Usability in Modern Design Flows
Fey, Görschwin; Drechsler, Rolf
Artikelpreise ab
8 Angebote anzeigenEUR 85,77
-
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)
Seiter, Julia; Wille, Robert; Drechsler, Rolf
Artikelpreise ab
3 Angebote anzeigenEUR 59,75
Entdecken Sie auch
Neu
8 von 35 Titeln werden angezeigt