Passer au contenu principal Passer au contenu du pied de page

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Édition : Sandeep Kumar Shukla , Jean-Pierre Talpin

20 novembre 2014

190,86 $ ~~Réduction sur le prix courant 194,95 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 955 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

266

Publié par: Springer US

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9781489987372

Introduction to Power System Protection

Dr. Hidaia Mahmood Alassouli Livre numérique Kobo
20,99 $ ~~Réduction sur le prix courant 25,10 $ à~~
Next-generation Gnss Signal Design: Theories, Principles And Technologies

Zheng Yao Couverture souple
321,50 $
Next-generation Gnss Signal Design: Theories, Principles And Technologies

Zheng Yao Couverture rigide
321,50 $
2 formats offerts
Climate Adaptation Modelling

Claus Kondrup Couverture souple
72,95 $
Biomedical Image Understanding: Methods and Applications

Joo-Hwee Lim Couverture rigide
212,95 $
2 formats offerts
Transmission Network Protection: Theory and Practice

Yeshwant G. Paithankar Couverture rigide
518,50 $
2 formats offerts
Handbook Of Nondestructive Evaluation 4.0

Norbert Meyendorf Couverture rigide
1240,95 $
2 formats offerts
Blind Source Separation: Advances in Theory, Algorithms and Applications

Ganesh R. Naik Couverture rigide
160,95 $
2 formats offerts
Optimization, Learning, And Control For Interdependent Complex Networks

M. Hadi Amini Couverture rigide
80,50 $
2 formats offerts
Optimization, Learning, And Control For Interdependent Complex Networks

M. Hadi Amini Couverture souple
80,50 $
Environmental Implications of Population Dynamics

Lori M. Hunter Couverture souple
16,00 $
Sustainability A Call to Action Part I: Individual Scale

Linda C Pope Couverture souple
25,99 $
Elements of Mechanism: Elucidating the Scientific Principles of the Practical Construction of Machin

Pamphlet Collection (Library O Baker Couverture rigide
35,75 $
Adaptive Filters: Theory and Applications

Behrouz Farhang-Boroujeny Couverture rigide
197,76 $
2 formats offerts
A Guide to Virology for Engineers and Applied Scientists: Epidemiology, Emergency Management, and Optimization

Megan M. Reynolds Couverture rigide
173,99 $
2 formats offerts
Role of ICT for Multi-Disciplinary Applications in 2030

Leo Ligthart Couverture souple
66,95 $
Elements of Mechanism: Elucidating the Scientific Principles of the Practical Construction of Machin

Pamphlet Collection (Library O Baker Couverture souple
23,87 $
Spatio-Temporal Data Analytics for Wind Energy Integration

Lei Yang Couverture souple
80,50 $
2 formats offerts
Stewarding Sustainability Transformations: An Emerging Theory And Practice Of Sdg Implementation

Petra Kuenkel Couverture rigide
116,95 $
2 formats offerts
Inductive Power Transfer Systems: Theory, Modeling and Control

Udaya K. Madawala Couverture rigide
160,00 $

Évaluation éditoriale

sandeep kumar shukla

Auteur

Practical Aspects of Embedded System Design using Microcontrollers

Jivan Parab Couverture souple
160,95 $
2 formats offerts
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Eric Verhulst Couverture souple
142,95 $
3 formats offerts
Runtime Reconfiguration In Networked Embedded Systems: Design And Testing Practices

Zoltan Papp Couverture souple
175,50 $
3 formats offerts
Designing Embedded Systems with PIC Microcontrollers: Principles and Applications

Tim Wilmshurst Couverture souple
76,95 $
2 formats offerts
Design Patterns for Embedded Systems in C: An Embedded Software Engineering Toolkit

Bruce Powel Douglass Couverture souple
76,02 $ ~~Réduction sur le prix courant 100,95 $ à~~
2 formats offerts
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Prabhat Mishra Couverture souple
142,95 $
2 formats offerts
DSP Software Development Techniques for Embedded and Real-Time Systems

Robert Oshana Livre numérique Kobo
84,99 $ ~~Réduction sur le prix courant 106,00 $ à~~
2 formats offerts
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Couverture rigide
175,50 $
2 formats offerts
The Codesign Of Embedded Systems: A Unified Hardware/Software Representation

Sanjaya Kumar Couverture souple
321,50 $
2 formats offerts
Lattice-based Public-key Cryptography In Hardware

Sujoy Sinha Roy Couverture rigide
87,95 $
2 formats offerts
Taxonomies for the Development and Verification of Digital Systems

Brian Bailey Couverture souple
160,95 $
2 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Multiprocessor System-on-Chip: Hardware Design and Tool Integration

Michael Hübner Couverture rigide
248,50 $
2 formats offerts
Industrial automation and information technology: IT architectures, communication and software for system design

Michael Weyrich Couverture rigide
160,95 $
A Practical Guide For Simulation And Fpga Implementation Of Digital Design

Bekkay Hajji Couverture rigide
262,95 $
2 formats offerts
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies

Katalin Popovici Couverture souple
175,50 $
3 formats offerts
Security Policy In System-on-chip Designs: Specification, Implementation And Verification

Sandip Ray Couverture rigide
80,50 $
2 formats offerts
Implementation and Analysis of Ciphers in Quantum Computing

Anubhab Baksi Couverture rigide
233,95 $
2 formats offerts
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings Of The Gm R

S. Ramesh Couverture souple
248,50 $
2 formats offerts
Design for Manufacturability and Statistical Design: A Constructive Approach

Michael Orshansky Couverture souple
248,50 $
2 formats offerts