Inicio > > Ciencias de la computación > Architecture Design and Validation Methods
Architecture Design and Validation Methods

Architecture Design and Validation Methods

Egon Börger

64,54 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2014
Materia
Ciencias de la computación
ISBN:
9783540649762

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

Artículos relacionados

Otros libros del autor

  • Architecture Design and Validation Methods
    Egon Borger
    This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. The book covers a comprehensive range of architecture design and validation methods, from computer aided high-level design of VLSI circuits and systems to layout and testable design, including the modeling and synthes...
    Disponible

    65,89 €

  • Computation Theory and Logic
    Egon Börger
    This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction...
    Disponible

    65,49 €

  • Berechenbarkeit, Komplexität, Logik
    Egon Börger
    Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be­ griff formaler Sprache als Träger präzisen Ausdrucks von Bedeutungen, Sach­ verhalten, Problemen und der des Algorithmus oder Kalküls, d. h....
    Disponible

    71,48 €