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ț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 318.67 lei
Preț vechi: 398.33 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.34€ • 66.86$ • 48.99£
56.34€ • 66.86$ • 48.99£
Carte disponibilă
Livrare economică 11-25 martie
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
-
Principles of Concurrent and Distributed ProgrammingMordechai Ben-Ari-13%Preț: 597.12 lei686.35 lei -
-23%Preț: 677.50 lei879.87 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 423.93 lei529.91 lei -
-20%Preț: 391.77 lei489.72 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 -
-20%Preț: 340.84 lei426.05 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