Technische Daten
Erscheinungsdatum
01.12.2014
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Theoretical Computer Science and General Issues
Autor
Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul
Buch Untertitel
Hardware Implementation and Correctness Proof
Schlagwörter
algebraic specification, arithmetic logic unit, automata states, basic pipelined processor design, basic sequential mips machine, cache protocol automata, finite state machines, instruction set architecture, memory embedding, microprocessor without interlocked pipeline stages, multi-bank ram, multi-core, next pc environment, pipelining, scheduling functions, self destructing hardware, software conditions, solving equations, algorithm analysis and problem complexity
Thema-Inhalt
UMB - Algorithmen und Datenstrukturen
UMZ - Software Engineering
UK - Computerhardware
UYF - Rechnerarchitektur und Logik-Entwurf
UKN - Netzwerk-Hardware
UMC - Compiler und Übersetzer
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
Warnhinweise und Sicherheitsinformationen
Informationen nach EU Data Act