Debugging at the Electronic System Level

Frank Rogin,Rolf Drechsler

Engineering (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $1,818.00 MXN.$1,636.00MXN

Estás en la librería de México

¿No estás en México? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9789048192557
Fecha de lanzamiento:5 jul 2016
Editorial:Springer Netherlands

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:1.68 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Engineering a Compiler

Keith D. Cooper, Linda Torczon

$850.00

Data Mining Techniques

Arun K.Pujari

$268.00

Pattern-Oriented Software Architecture, A System of Patterns

Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, Michael Stal

$1,249.00

Model-Driven Software Engineering in Practice

Marco Brambilla, Jordi Cabot, Manuel Wimmer, Luciano Baresi

$1,017.00

Why Programs Fail

Andreas Zeller

$765.00

Feature-Oriented Software Product Lines

Sven Apel, Don Batory, Christian Kästner, Gunter Saake

$1,182.00

Fundamentals of Stream Processing

Henrique C. M. Andrade, Buğra Gedik, Deepak S. Turaga

$1,716.00

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Bran Selic, Sebastien Gerard

$706.00

Guide to Reliable Distributed Systems

Kenneth P Birman

$1,036.00

Database Modeling and Design

Toby J. Teorey, Sam S. Lightstone, Tom Nadeau, H.V. Jagadish

$765.00

Microprocessor Architecture

Jean-Loup Baer

$1,631.00

Data-Intensive Text Processing with MapReduce

Jimmy Lin, Chris Dyer

$758.00

Virtual Machines

Jim Smith, Ravi Nair

$825.00

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$2,223.00

Systematic Program Design

Yanhong Annie Liu

$816.00

Web Services Foundations

Athman Bouguettaya, Quan Z. Sheng, Florian Daniel

$2,545.00

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe

$909.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Mining Very Large Databases with Parallel Processing

Simon H. Lavington, Alex A. Freitas

$3,636.00

Trends in Functional Programming Volume 6

Marko Van Eekelen

$814.00

Detection of Intrusions and Malware, and Vulnerability Assessment

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez

$909.00

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

$7,073.00

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

$1,076.00

Embedded Software Verification and Debugging

Djones Lettnin, Markus Winterholer

$1,636.00

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$909.00

Software Architecture 2

Mourad Chabane Oussalah

$2,223.00

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

$909.00

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$1,636.00

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$1,454.00

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

$909.00

Virtual Components Design and Reuse

Ralf Seepold, Natividad Martinez Madrid

$2,679.00

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

$1,636.00

Theory and Practice of Model Transformations

Gregor Engels, Pieter Van Gorp

$909.00

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

$854.00

SystemVerilog Assertions and Functional Coverage

Ashok B. Mehta

$2,545.00

Protocol Engineering

Hartmut König

$1,454.00

Operational Amplifiers

Johan Huijsing

$1,636.00

Trends in Functional Programming Volume 4

Stephen Gilmore

$567.00

Embedded Systems Design for High-Speed Data Acquisition and Control

Maurizio Di Paolo Emilio

$1,636.00

Correct-by-Construction Approaches for SoC Design

Roopak Sinha, Parthasarathi Roop, Samik Basu

$1,636.00

SystemVerilog Assertions and Functional Coverage

Ashok B. Mehta

$2,545.00

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

$1,636.00

Emerging Memory Technologies

Yuan Xie

$1,636.00

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

$1,636.00

Analog Integrated Circuit Design Automation

Ricardo Martins, Nuno Lourenço, Nuno Horta

$1,636.00

Data and Applications Security and Privacy XXIX

Pierangela Samarati

$909.00

More than Moore

Guo Qi Zhang, Alfred van Roosmalen

$1,989.00

Domain Engineering

Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin, Iris Reinhartz-Berger

$909.00

Computer Security -- ESORICS 2015

Günther Pernul, Peter Y A Ryan, Edgar Weippl

$909.00

Information Security

Yvo Desmedt

$909.00

Carbon Nanotubes for Interconnects

Jean Dijon, Antonio Maffucci, Aida Todri-Sanial

$1,636.00

Fog Computing in the Internet of Things

Amir M. Rahmani, Pasi Liljeberg, Jürgo-Sören Preden, Axel Jantsch

$1,818.00

Advanced Transport Protocols

Ernesto Exposito

$2,264.00

Design Technology for Heterogeneous Embedded Systems

Gabriela Nicolescu, Ian O'Connor, Christian Piguet

$1,636.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Hands-on Experience with Altera FPGA Development Boards

G.M. Naik, Jivan S. Parab, Rajendra S. Gad

$1,818.00

New Data Structures and Algorithms for Logic Synthesis and Verification

Luca Gaetano Amaru

$909.00

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

$1,636.00

Reliable and Energy Efficient Streaming Multiprocessor Systems

Anup Kumar Das, Akash Kumar, Bharadwaj Veeravalli, Francky Catthoor

$909.00

Trusted Systems

Moti Yung, Jianbiao Zhang, Zhen Yang

$909.00

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

$2,728.00

Separation Logic for High-level Synthesis

Felix Winterstein

$1,636.00

Principles of Security and Trust

Frank Piessens, Luca Viganò

$909.00

VLSI Design: Circuits, Systems and Applications

Jie Li, A Ravi Sankar, P Augusta Sophy Beulet

$2,784.00

System Specification and Design Languages

Adam Morawiec, Tom J. Kaźmierski

$2,784.00

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Dominique Borrione

$2,545.00

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

$2,572.00

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Orlando Moreira, Henk Corporaal

$1,636.00

Wideband CMOS Receivers

Luis B. Oliveira, Miguel D. Fernandes

$909.00

Cryptology and Network Security

Michael Reiter, David Naccache

$854.00

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

$1,636.00

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

$2,545.00

Practical Signcryption

Alexander W. Dent, Yuliang Zheng, Moti Yung

$1,636.00

Computer Systems

Ata Elahi

$909.00

Quality of Experience for Multimedia

Abdelhamid Mellouk, Hai Anh Tran, Said Hoceini

$2,239.00

A Combined Data and Power Management Infrastructure

Jens Eickhoff

$2,000.00

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Andreas Weichslgartner, Stefan Wildermann, Michael Glaß, Jürgen Teich

$1,636.00

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$909.00

Ver más por autor

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

$909.00

Advanced Logic Synthesis

Rolf Drechsler, André Inácio Reis

$1,636.00

Formal Specification Level

Mathias Soeken, Rolf Drechsler

$1,636.00

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

$909.00

Formal System Verification

Rolf Drechsler

$2,000.00

Reversible and Quantum Circuits

Rolf Drechsler, Nabila Abdessaied

$909.00

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler

$1,636.00

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de México.

Debugging at the Electronic System Level

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Engineering a Compiler

Data Mining Techniques

Pattern-Oriented Software Architecture, A System of Patterns

Model-Driven Software Engineering in Practice

Why Programs Fail

Feature-Oriented Software Product Lines

Fundamentals of Stream Processing

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Guide to Reliable Distributed Systems

Database Modeling and Design

Microprocessor Architecture

Data-Intensive Text Processing with MapReduce

Virtual Machines

Model-Driven and Software Product Line Engineering

Systematic Program Design

Web Services Foundations

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Readings in Artificial Intelligence and Software Engineering

Mining Very Large Databases with Parallel Processing

Trends in Functional Programming Volume 6

Detection of Intrusions and Malware, and Vulnerability Assessment

Handbook of Big Data Technologies

Heuristic Search

Embedded Software Verification and Debugging

Software Engineering and Formal Methods

Software Architecture 2

Transactions on Aspect-Oriented Software Development XII

Meta-Programming and Model-Driven Meta-Program Development

Integrated Formal Methods

Software Reuse: Bridging with Social-Awareness

Virtual Components Design and Reuse

Schema Matching and Mapping

Theory and Practice of Model Transformations

SDL 2015: Model-Driven Engineering for Smart Cities

SystemVerilog Assertions and Functional Coverage

Protocol Engineering

Operational Amplifiers

Trends in Functional Programming Volume 4

Embedded Systems Design for High-Speed Data Acquisition and Control

Correct-by-Construction Approaches for SoC Design

SystemVerilog Assertions and Functional Coverage

High-Level Verification

Emerging Memory Technologies

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Analog Integrated Circuit Design Automation

Data and Applications Security and Privacy XXIX

More than Moore

Domain Engineering

Computer Security -- ESORICS 2015

Information Security

Carbon Nanotubes for Interconnects

Fog Computing in the Internet of Things

Advanced Transport Protocols

Design Technology for Heterogeneous Embedded Systems

Trustworthy Global Computing

Hands-on Experience with Altera FPGA Development Boards

New Data Structures and Algorithms for Logic Synthesis and Verification

Patterns, Programming and Everything

Reliable and Energy Efficient Streaming Multiprocessor Systems

Trusted Systems

Hardware/Software Co-Design

Separation Logic for High-level Synthesis

Principles of Security and Trust

VLSI Design: Circuits, Systems and Applications

System Specification and Design Languages

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Handbook of Constraint Programming

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Wideband CMOS Receivers

Cryptology and Network Security

Model-Implementation Fidelity in Cyber Physical System Design

Handbook of Conceptual Modeling