Formal Specification Level - Concepts, Methods, and Algorithms
von Mathias Soeken Verlag: Springer International Publishing,
2015 2014. Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2015 24897387/12
Formal Specification Level - Concepts, Methods, and Algorithms
von Rolf Drechsler, Mathias Soeken
2014 Gebunden, 148 Seiten, 241mm x 160mm x 14mm, Sprache(n): eng Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL)Provides a variety of use cases which can be adapted to readers' specific design flowsIncludes a c…
Formal Specification Level - Concepts, Methods, and Algorithms
von Rolf Drechsler, Mathias Soeken
2016 Kartoniert, 148 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL) Provides a variety of use cases which can be adapted to readers' specific design flows Include…
Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25…
von Michael Kirkedal Thomsen Verlag: Springer International Publishing,
1st ed. 2019 2019. 41643138/1
Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
von Rolf Drechsler Verlag: Shaker,
1., Aufl. 2012. Gepflegter, sauberer Zustand. 23169793/2
- Autor
- Mathias Soeken
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)!