This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

Comprar el eBook

Save 10 %List Price: PHP6,142.42.PHP5,528.19

You are in the Philippines store

Not in Philippines? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781461422662
Release date:Apr 19, 2017
Publisher:Springer New York

Imprint:Springer
File format:EPUB2
File size:3.56 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

CUDA Application Design and Development

Rob Farber

PHP2,678.49

Fundamentals of Stream Processing

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

PHP5,796.49

Guide to Reliable Distributed Systems

Kenneth P Birman

PHP3,500.99

Microprocessor Architecture

Jean-Loup Baer

PHP5,511.39

Detection of Intrusions and Malware, and Vulnerability Assessment

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

PHP3,070.99

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

PHP23,896.69

Cloud Computing

Dan C. Marinescu

PHP3,456.19

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

Dominique Borrione

PHP8,599.79

Tools for High Performance Computing 2016

Christoph Niethammer, José Gracia, Tobias Hilbrich, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel

PHP5,528.19

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

PHP3,070.99

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

PHP3,070.99

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

PHP3,070.99

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

PHP3,070.99

Embedded Systems Development

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

PHP5,528.19

Processor and System-on-Chip Simulation

Rainer Leupers, Olivier Temam

PHP5,528.19

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

PHP3,070.99

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

PHP2,886.69

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Weiwei Chen

PHP5,528.19

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

PHP8,349.49

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

PHP2,886.69

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

PHP3,070.99

Multiprocessor System-on-Chip

Michael Hübner, Jürgen Becker

PHP8,599.79

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

PHP2,886.69

System Analysis and Modeling. Technology-Specific Aspects of Models

Steffen Herbold, Jens Grabowski

PHP3,070.99

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

PHP5,528.19

Radio Frequency Identification: Security and Privacy Issues

Michael Hutter, Jörn-Marc Schmidt

PHP2,763.79

Information Systems Security

Indrajit Ray, Manoj Singh Gaur, Mauro Conti, Dheeraj Sanghi, V. Kamakoti

PHP3,070.99

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV

Abdelkader Hameurlain, Josef Küng, Roland Wagner

PHP3,070.99

Mobile, Secure, and Programmable Networking

Selma Boumerdassi, Samia Bouzefrane, Éric Renault

PHP2,437.59

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

PHP3,070.99

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

PHP2,456.69

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

PHP3,070.99

Networked Systems

Guevara Noubir, Michel Raynal

PHP3,070.99

Foundations and Practice of Security

Frédéric Cuppens, Philip W. L. Fong, Joaquin Garcia-Alfaro, Nur Zincir Heywood

PHP3,070.99

Advances in User Authentication

Dipankar Dasgupta, Arunava Roy, Abhijit Nag

PHP3,500.99

Information Systems Security

Sushil Jajoda, Chandan Mazumdar

PHP3,070.99

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

PHP5,528.19

Tools for High Performance Computing 2015

Tobias Hilbrich, Michael M. Resch, José Gracia, Christoph Niethammer, Wolfgang E. Nagel, Andreas Knüpfer

PHP5,528.19

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

PHP3,685.29

Data Engineering

Yupo Chan, John Talburt, Terry M. Talley

PHP6,142.49

Operational Amplifiers

Johan Huijsing

PHP5,528.19

Programming Heterogeneous MPSoCs

Jerónimo Castrillón Mazo, Rainer Leupers

PHP5,528.19

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

Pieter Harpe, Kofi A. A. Makinwa, Andrea Baschirotto

PHP9,142.39

Embedded and Real Time System Development: A Software Engineering Perspective

Ajith Abraham, Mohammad Ayoub Khan, Saqib Saeed, Ashraf Darwish

PHP5,528.19

Tools for High Performance Computing 2011

Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel

PHP5,528.19

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

PHP5,528.19

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Jameel Ahmed, Mohammed Yakoob Siyal, Shaheryar Najam, Zohaib Najam

PHP3,070.99

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

PHP3,070.99

Hardware/Software Co-design for Heterogeneous Multi-core Platforms

Koen Bertels

PHP5,528.19

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

PHP3,070.99

Emerging Memory Technologies

Yuan Xie

PHP5,528.19

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

PHP3,070.99

Cryptology and Network Security

Michael Reiter, David Naccache

PHP2,886.69

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Martin Daněk, Leoš Kafka, Lukáš Kohout, Jaroslav Sýkora, Roman Bartosiński

PHP5,528.19

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Georgios Lioudakis, Nora Cuppens-Boulahia, Simon Foley, William M. Fitzgerald

PHP3,070.99

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

PHP3,070.99

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

PHP5,528.19

Hands-on Experience with Altera FPGA Development Boards

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

PHP6,142.49

Designing 2D and 3D Network-on-Chip Architectures

Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch

PHP5,528.19

Resource Management for Big Data Platforms

Florin Pop, Joanna Kołodziej, Beniamino Di Martino

PHP8,599.79

ESL Models and their Application

Brian Bailey, Grant Martin

PHP5,528.19

Reconfigurable Networks-on-Chip

Sao-Jie Chen, Wen-Chung Tsai, Yu-Hen Hu, Ying-Cherng Lan

PHP5,528.19

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

PHP3,070.99

Architectures for Baseband Signal Processing

Frank Kienle

PHP5,528.19

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

PHP5,528.19

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

PHP3,070.99

Foundations and Practice of Security

Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro

PHP3,070.99

Smart Sensors and Systems

Youn-Long Lin, Hiroto Yasuura, Chong-Min Kyung, Yongpan Liu

PHP5,528.19

Computer Security -- ESORICS 2015

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

PHP3,070.99

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Vinod Pangracious, Zied Marrakchi, Habib Mehrez

PHP5,528.19

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

PHP6,756.89

Dynamic Memory Management for Embedded Systems

David Atienza Alonso, Stylianos Mamagkakis, Christophe Poucet, Miguel Peón-Quirós, Alexandros Bartzas, Francky Catthoor, Dimitrios Soudris

PHP3,070.99

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

PHP8,599.79

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

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

PHP5,528.19

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

PHP5,528.19

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

PHP5,528.19

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

PHP3,070.99

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

PHP3,070.99

Information Security

Yvo Desmedt

PHP3,070.99

Routing Algorithms in Networks-on-Chip

Maurizio Palesi, Masoud Daneshtalab

PHP7,240.19

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot

Alaa Abdulhady Jaber

PHP8,599.79

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

PHP5,528.19

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

Umit Y. Ogras, Radu Marculescu

PHP5,528.19

Architecture of Computing Systems -- ARCS 2016

Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich

PHP3,070.99

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

PHP5,528.19

Security Standardisation Research

Lidong Chen, David McGrew, Chris Mitchell

PHP3,070.99

Did you like the book?

Be the first to rate and review this book!

This is our Philippines store.

Embedded Software Verification and Debugging

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

CUDA Application Design and Development

Fundamentals of Stream Processing

Guide to Reliable Distributed Systems

Microprocessor Architecture

Detection of Intrusions and Malware, and Vulnerability Assessment

Handbook of Big Data Technologies

Cloud Computing

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

Tools for High Performance Computing 2016

Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

Research in Attacks, Intrusions, and Defenses

Euro-Par 2016: Parallel Processing

Embedded Systems Development

Processor and System-on-Chip Simulation

OpenMP: Memory, Devices, and Tasks

Innovative Security Solutions for Information Technology and Communications

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Hardware/Software Co-Design

SDL 2015: Model-Driven Engineering for Smart Cities

Software Reuse: Bridging with Social-Awareness

Multiprocessor System-on-Chip

Radio Frequency Identification: Security and Privacy Issues

System Analysis and Modeling. Technology-Specific Aspects of Models

Model-Implementation Fidelity in Cyber Physical System Design

Radio Frequency Identification: Security and Privacy Issues

Information Systems Security

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV

Mobile, Secure, and Programmable Networking

Advances in Databases and Information Systems

Algorithmic Aspects of Cloud Computing

Trust and Trustworthy Computing

Networked Systems

Foundations and Practice of Security

Advances in User Authentication

Information Systems Security

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Tools for High Performance Computing 2015

Introduction to Embedded Systems

Data Engineering

Operational Amplifiers

Programming Heterogeneous MPSoCs

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

Embedded and Real Time System Development: A Software Engineering Perspective

Tools for High Performance Computing 2011

Foundations of Hardware IP Protection

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Large-Scale Data Analytics

Hardware/Software Co-design for Heterogeneous Multi-core Platforms

Automatic Methods for the Refinement of System Models

Emerging Memory Technologies

Languages, Design Methods, and Tools for Electronic System Design

Cryptology and Network Security

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Data Privacy Management and Autonomous Spontaneous Security

Innovative Security Solutions for Information Technology and Communications

Debugging at the Electronic System Level

Hands-on Experience with Altera FPGA Development Boards

Designing 2D and 3D Network-on-Chip Architectures

Resource Management for Big Data Platforms

ESL Models and their Application

Reconfigurable Networks-on-Chip

Cryptographic Hardware and Embedded Systems – CHES 2016

Architectures for Baseband Signal Processing

Model-Based Design of Adaptive Embedded Systems

Testing Software and Systems

Foundations and Practice of Security

Smart Sensors and Systems

Computer Security -- ESORICS 2015

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Engineering Secure Two-Party Computation Protocols

Dynamic Memory Management for Embedded Systems