Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings de Stefan Kowalewski

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 Roveri

en Limba Engleză Paperback – 9 sep 2010

Din seria Lecture Notes in Computer Science

20%

Preț: 1040^.03 lei
20%

Preț: 333^.46 lei
20%

Preț: 335^.08 lei
20%

Preț: 567^.60 lei
20%

Preț: 238^.01 lei
15%

Preț: 568^.74 lei
20%

Preț: 333^.46 lei
20%

Preț: 438^.69 lei
Preț: 373^.56 lei
20%

Preț: 336^.71 lei
20%

Preț: 148^.66 lei
20%

Preț: 310^.26 lei
20%

Preț: 632^.22 lei
20%

Preț: 747^.79 lei
20%

Preț: 1053^.45 lei
17%

Preț: 427^.22 lei
20%

Preț: 641^.78 lei
20%

Preț: 307^.71 lei
20%

Preț: 809^.19 lei
20%

Preț: 579^.56 lei
20%

Preț: 649^.49 lei
20%

Preț: 330^.23 lei
Preț: 389^.48 lei
20%

Preț: 607^.39 lei
20%

Preț: 538^.29 lei
20%

Preț: 1003^.66 lei
20%

Preț: 326^.98 lei
20%

Preț: 256^.27 lei
20%

Preț: 444^.17 lei
20%

Preț: 571^.63 lei
20%

Preț: 575^.48 lei
20%

Preț: 574^.05 lei
17%

Preț: 360^.19 lei
20%

Preț: 504^.57 lei
20%

Preț: 172^.69 lei
20%

Preț: 369^.12 lei
20%

Preț: 346^.40 lei
20%

Preț: 747^.79 lei
Preț: 402^.62 lei
20%

Preț: 584^.40 lei
20%

Preț: 569^.19 lei
20%

Preț: 1159^.14 lei
20%

Preț: 1386^.07 lei
20%

Preț: 343^.16 lei
20%

Preț: 309^.90 lei
20%

Preț: 122^.89 lei

Preț: 324^.60 lei

Preț vechi: 405^.74 lei
-20% Nou

Puncte Express: 487

:
62^.13€ • 65^.18$ • 51^.54£

Carte disponibilă

Livrare economică 08-22 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

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

Public țintă

Research

Cuprins

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

Papetărie, jocuri, reviste