Embedded Systems
Editat de Albert Kündig, Richard E. Bührer, Jacques Dähleren Limba Engleză Paperback – 21 oct 1987
Preț: 318.06 lei
Preț vechi: 397.57 lei
-20%
Puncte Express: 477
Preț estimativ în valută:
56.19€ • 64.72$ • 48.64£
56.19€ • 64.72$ • 48.64£
Carte tipărită la comandă
Livrare economică 11-25 mai
Specificații
ISBN-13: 9783540185819
ISBN-10: 354018581X
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354018581X
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Head First HTML and CSSElisabeth Robson-20%Preț: 285.09 lei356.37 lei -
KanbanDavid J. Anderson-20%Preț: 249.74 lei312.18 lei -
Preț: 285.95 lei -
Professional GitBrent Laster-20%Preț: 248.17 lei310.22 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
Android CookbookIan F Darwin-20%Preț: 412.71 lei515.88 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 351.60 lei439.50 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 326.54 lei408.17 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
Applied Logic for Computer Scientists: Computational Deduction and Formal ProofsMauricio Ayala-Rincón-20%Preț: 286.39 lei357.99 lei -
Formal Techniques for Safety-Critical SystemsCyrille Artho-20%Preț: 314.86 lei393.57 lei -
-20%Preț: 311.18 lei388.98 lei -
On Sets and Graphs: Perspectives on Logic and CombinatoricsEugenio G. Omodeo-20%Preț: 407.83 lei509.78 lei -
-20%Preț: 319.70 lei399.63 lei -
-20%Preț: 340.35 lei425.44 lei -
Image coloring Techniques and ApplicationsNoura Semary-20%Preț: 548.37 lei685.47 lei -
Small Dynamic Complexity ClassesThomas Zeume-20%Preț: 315.00 lei393.75 lei
Public țintă
ResearchCuprins
A note on the meaning of “Embedded systems”.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.