Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings: Lecture Notes in Computer Science, cartea 6371
Editat de Stefan Kowalewski, Marco Roverien Limba Engleză Paperback – 9 sep 2010
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 318.67 lei
Preț vechi: 398.33 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.34€ • 64.63$ • 48.68£
56.34€ • 64.63$ • 48.68£
Carte disponibilă
Livrare economică 11-25 aprilie
Specificații
ISBN-13: 9783642158971
ISBN-10: 3642158978
Pagini: 231
Ilustrații: XII, 231 p. 82 illus.
Greutate: 0.39 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642158978
Pagini: 231
Ilustrații: XII, 231 p. 82 illus.
Greutate: 0.39 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 588.91 lei736.14 lei -
-23%Preț: 678.28 lei880.87 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 424.40 lei530.50 lei -
-20%Preț: 391.93 lei489.91 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 321.81 lei402.26 lei -
-20%Preț: 330.98 lei413.73 lei -
-20%Preț: 641.45 lei801.81 lei -
-20%Preț: 322.61 lei403.26 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 333.68 lei417.09 lei -
-20%Preț: 324.19 lei405.23 lei -
Formal Methods and Software EngineeringShengchao Qin-20%Preț: 346.16 lei432.71 lei -
-20%Preț: 332.10 lei415.13 lei -
-20%Preț: 326.72 lei408.40 lei -
-20%Preț: 323.41 lei404.26 lei -
-18%Preț: 743.81 lei907.09 lei
Public țintă
ResearchCuprins
The Metrô Rio ATP Case Study.- Practical Issues with Formal Specifications.- Formal Analysis of BPMN Models Using Event-B.- Developing Mode-Rich Satellite Software by Refinement in Event B.- Automatic Error Correction of Java Programs.- Range Analysis of Microcontroller Code Using Bit-Level Congruences.- An Automated Translator for Model Checking Time Constrained Workflow Systems.- Correctness of Sensor Network Applications by Software Bounded Model Checking.- Model Checking the FlexRay Physical Layer Protocol.- SMT-Based Formal Verification of a TTEthernet Synchronization Function.- Embedded Network Protocols for Mobile Devices.- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.- A Formal Model of Identity Mixer.- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
Caracteristici
up-to-date results fast track conference proceedings state-of-the-art report