FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I: Lecture Notes in Computer Science, cartea 1708
Editat de Jeannette M. Wing, Jim Woodcook, Jim Daviesen Limba Engleză Paperback – 13 sep 1999
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (2) | 678.11 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 13 sep 1999 | 678.11 lei 6-8 săpt. | |
Springer Berlin, Heidelberg – 13 sep 1999 | 678.30 lei 6-8 săpt. |
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 307.71 lei
- 20% Preț: 438.69 lei
- 20% Preț: 645.28 lei
- Preț: 410.88 lei
- 15% Preț: 580.46 lei
- 17% Preț: 427.22 lei
- 20% Preț: 596.46 lei
- Preț: 381.21 lei
- 20% Preț: 353.50 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 309.90 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 310.26 lei
- 20% Preț: 655.02 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 15% Preț: 438.59 lei
- 20% Preț: 591.51 lei
- 20% Preț: 649.49 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 607.39 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 825.93 lei
- 20% Preț: 763.23 lei
- 17% Preț: 360.19 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 340.32 lei
- 20% Preț: 504.57 lei
- 20% Preț: 369.12 lei
- 20% Preț: 583.40 lei
- 20% Preț: 343.62 lei
- 20% Preț: 350.21 lei
- 20% Preț: 764.89 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 341.95 lei
- 20% Preț: 238.01 lei
- 20% Preț: 538.29 lei
Preț: 678.30 lei
Preț vechi: 847.88 lei
-20% Nou
Puncte Express: 1017
Preț estimativ în valută:
129.82€ • 135.01$ • 108.63£
129.82€ • 135.01$ • 108.63£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540665878
ISBN-10: 3540665870
Pagini: 964
Ilustrații: XXXVI, 940 p.
Dimensiuni: 155 x 235 x 55 mm
Greutate: 1.32 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540665870
Pagini: 964
Ilustrații: XXXVI, 940 p.
Dimensiuni: 155 x 235 x 55 mm
Greutate: 1.32 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.- Scientific Decisions which Characterize VDM.- Mechanized Formal Methods: Where Next?.- Integration, the Price of Success.- The Role of Formalism in Method.- Integration into the Development Process.- Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.- A Business Process Design Language.- Software Architecture.- Refinement of Pipe-and-Filter Architectures.- A Formalization of Software Architecture.- European Association for Theoretical Computer Science (EATCS).- Component and Interface Refinement in Closed-System Specifications.- Semantics of First Order Parametric Specifications.- Model Checking.- A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.- Error Detection with Directed Symbolic Model Checking.- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.- On-the-fly Verification of Linear Temporal Logic.- Symbolic Model Checking with Fewer Fixpoint Computations.- Formula Based Abstractions of Transition Systems for Real-Time Model Checking.- If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.- The B Method.- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.- Météor: A Successful Application of B in a Large Project.- Formal Development of Databases in ASSO and B.- Interpreting the B-Method in the Refinement Calculus.- Compositional Symmetric Sharing in B.- Structural Embeddings: Mechanization withMethod.- The Safe Machine: A New Specification Construct for B.- csp2B: A Practical Approach to Combining CSP and B.- Test Criteria Definition for B Models.- Composition and Synthesis.- Bunches for Object-Oriented, Concurrent, and Real-Time Specification.- Applications of Structural Synthesis of Programs.- Towards a Compositional Approach to the Design and Verification of Distributed Systems.- Telecommunications.- Formal Modeling in a Commercial Setting: A Case Study.- KVEST: Automated Generation of Test Suites from Formal Specifications.- Feature Interaction Detection Using Testing and Model-Checking Experience Report.- Emma: Developing an Industrial Reachability Analyser for SDL.- Correctness Proof of the Standardized Algorithm for ABR Conformance.- Verifying a Distributed Database Lookup Manager Written in Erlang.- Security.- Secure Interoperation of Secure Distributed Databases.- A Formal Security Model for Microprocessor Hardware.- Abstraction and Testing.- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.- Probabilistic Polynomial-Time Equivalence and Security Analysis.- A Uniform Approach for the Definition of Security Properties.- Group Principals and the Formalization of Anonymity.- Object-Orientation.- Developing BON as an Industrial-Strength Formal Method.- On the Expressive Power of OCL.- A Systematic Approach to Transform OMT Diagrams to a B Specification.- Verifying Consistency and Validity of Formal.- Verifying Consistency and Validity of Formal Specifications by Testing.- A GSM-MAP Protocol Experiment Using Passive Testing.
Caracteristici
Includes supplementary material: sn.pub/extras