Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986: Lecture Notes in Computer Science, cartea 284
Editat de Albert Kündig, Richard E. Bührer, Jacques Dähleren Limba Engleză Paperback – 21 oct 1987
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1043.63 lei - 20%
Preț: 334.61 lei - 20%
Preț: 336.22 lei - 20%
Preț: 445.69 lei - 20%
Preț: 238.01 lei - 20%
Preț: 334.61 lei - 20%
Preț: 438.69 lei -
Preț: 442.03 lei - 20%
Preț: 337.87 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 256.27 lei - 20%
Preț: 634.41 lei - 17%
Preț: 427.22 lei - 20%
Preț: 643.99 lei - 20%
Preț: 307.71 lei - 20%
Preț: 1057.10 lei - 20%
Preț: 581.55 lei -
Preț: 374.84 lei - 20%
Preț: 331.36 lei - 15%
Preț: 431.22 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei -
Preț: 389.48 lei - 20%
Preț: 326.98 lei - 20%
Preț: 1390.89 lei - 20%
Preț: 1007.16 lei - 20%
Preț: 569.54 lei - 20%
Preț: 575.48 lei - 20%
Preț: 573.59 lei - 20%
Preț: 750.35 lei - 15%
Preț: 570.71 lei - 17%
Preț: 360.19 lei - 20%
Preț: 504.57 lei - 20%
Preț: 172.69 lei - 20%
Preț: 369.12 lei - 20%
Preț: 347.59 lei - 20%
Preț: 576.02 lei -
Preț: 404.00 lei - 20%
Preț: 586.43 lei - 20%
Preț: 750.35 lei - 20%
Preț: 812.01 lei - 20%
Preț: 649.49 lei - 20%
Preț: 344.34 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 323.10 lei
Preț vechi: 403.87 lei
-20% Nou
Puncte Express: 485
Preț estimativ în valută:
61.83€ • 64.42$ • 51.41£
61.83€ • 64.42$ • 51.41£
Carte tipărită la comandă
Livrare economică 11-25 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540185819
ISBN-10: 354018581X
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354018581X
Pagini: 220
Ilustrații: VIII, 212 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.31 kg
Ediția:1987
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Head First HTML and CSS 2eElisabeth Robson-20%Preț: 261.89 lei327.36 lei -
KanbanDavid J. Anderson-20%Preț: 255.81 lei319.77 lei -
Preț: 263.64 lei -
Professional GitB LasterPreț: 268.56 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 533.21 lei666.52 lei -
Android Cookbook, 2eIan Darwin-20%Preț: 420.32 lei525.40 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 303.57 lei379.46 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 355.27 lei444.09 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 301.67 lei377.09 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 375.51 lei469.39 lei -
Applied Logic for Computer Scientists: Computational Deduction and Formal ProofsMauricio Ayala-Rincón-20%Preț: 292.69 lei365.86 lei -
-20%Preț: 321.00 lei401.25 lei -
-20%Preț: 318.06 lei397.57 lei -
On Sets and Graphs: Perspectives on Logic and CombinatoricsEugenio G. Omodeo-20%Preț: 416.94 lei521.18 lei -
-20%Preț: 324.71 lei405.89 lei -
-20%Preț: 347.91 lei434.89 lei -
Image Coloring Techniques and ApplicationsSemary, Noura-20%Preț: 561.83 lei702.29 lei -
-20%Preț: 320.17 lei400.21 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.