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ț: 400.77 lei - 20%
Preț: 754.11 lei - 20%
Preț: 324.19 lei - 20%
Preț: 373.80 lei - 20%
Preț: 342.61 lei - 20%
Preț: 403.00 lei - 20%
Preț: 573.45 lei -
Preț: 395.25 lei - 20%
Preț: 487.46 lei - 20%
Preț: 355.27 lei - 20%
Preț: 731.97 lei - 20%
Preț: 293.24 lei - 20%
Preț: 669.21 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 336.86 lei - 20%
Preț: 330.54 lei - 20%
Preț: 313.87 lei - 20%
Preț: 679.09 lei - 20%
Preț: 373.16 lei - 20%
Preț: 782.57 lei - 20%
Preț: 434.17 lei - 20%
Preț: 489.11 lei - 20%
Preț: 904.16 lei - 20%
Preț: 375.72 lei - 20%
Preț: 400.17 lei - 20%
Preț: 432.78 lei - 20%
Preț: 631.96 lei - 20%
Preț: 432.11 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 556.96 lei - 20%
Preț: 488.90 lei - 20%
Preț: 560.93 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 328.94 lei - 20%
Preț: 629.71 lei - 20%
Preț: 568.70 lei - 20%
Preț: 447.31 lei - 20%
Preț: 733.68 lei - 20%
Preț: 315.26 lei - 20%
Preț: 315.62 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 850.42 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 519.32 lei
Preț: 316.11 lei
Preț vechi: 395.14 lei
-20%
Puncte Express: 474
Preț estimativ în valută:
55.95€ • 65.23$ • 48.47£
55.95€ • 65.23$ • 48.47£
Carte tipărită la comandă
Livrare economică 27 februarie-13 martie
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 CSSElisabeth Robson-20%Preț: 283.16 lei353.95 lei -
KanbanDavid J. Anderson-20%Preț: 250.35 lei312.93 lei -
Preț: 285.65 lei -
Professional GitB LasterPreț: 290.34 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ț: 411.12 lei513.90 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 350.52 lei438.14 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 326.17 lei407.71 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ț: 317.68 lei397.10 lei -
-20%Preț: 340.35 lei425.44 lei -
Image Coloring Techniques and ApplicationsSemary, Noura-20%Preț: 549.43 lei686.78 lei -
-20%Preț: 313.24 lei391.55 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.