Formal Techniques for Networked and Distributed Systems: FORTE 2001: IFIP Advances in Information and Communication Technology, cartea 69
Editat de Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Leeen Limba Engleză Paperback – 22 iun 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1280.52 lei 6-8 săpt. | |
Springer Us – 22 iun 2013 | 1280.52 lei 6-8 săpt. | |
Hardback (1) | 1286.94 lei 6-8 săpt. | |
Springer Us – 31 aug 2001 | 1286.94 lei 6-8 săpt. |
Din seria IFIP Advances in Information and Communication Technology
- 20% Preț: 170.51 lei
- 20% Preț: 615.74 lei
- 20% Preț: 340.32 lei
- Preț: 397.38 lei
- 20% Preț: 336.02 lei
- 20% Preț: 340.98 lei
- 20% Preț: 503.41 lei
- 17% Preț: 523.40 lei
- 20% Preț: 502.06 lei
- 17% Preț: 488.96 lei
- 20% Preț: 501.04 lei
- 20% Preț: 403.20 lei
- 15% Preț: 708.83 lei
- 20% Preț: 1162.12 lei
- 20% Preț: 1288.25 lei
- 18% Preț: 1227.21 lei
- 20% Preț: 1282.00 lei
- 18% Preț: 1224.18 lei
- 18% Preț: 953.03 lei
- 18% Preț: 953.20 lei
- 18% Preț: 944.99 lei
- 18% Preț: 948.29 lei
- 15% Preț: 645.47 lei
- 18% Preț: 960.13 lei
- 20% Preț: 1288.11 lei
- 20% Preț: 998.70 lei
- 18% Preț: 949.23 lei
- 20% Preț: 1283.81 lei
- 20% Preț: 995.89 lei
- 15% Preț: 645.79 lei
- 20% Preț: 1276.74 lei
- 20% Preț: 1922.99 lei
- 20% Preț: 1285.97 lei
- 18% Preț: 956.69 lei
- 18% Preț: 946.72 lei
- 18% Preț: 1224.36 lei
- 20% Preț: 1277.89 lei
- 18% Preț: 953.03 lei
- 18% Preț: 947.98 lei
- 20% Preț: 1292.54 lei
- 18% Preț: 956.18 lei
- 20% Preț: 645.79 lei
- 18% Preț: 1235.25 lei
- 20% Preț: 1284.47 lei
- 18% Preț: 1231.01 lei
- 20% Preț: 993.09 lei
- 20% Preț: 1288.94 lei
- 20% Preț: 987.17 lei
- 18% Preț: 1833.33 lei
Preț: 1280.52 lei
Preț vechi: 1600.64 lei
-20% Nou
Puncte Express: 1921
Preț estimativ în valută:
245.09€ • 254.91$ • 205.39£
245.09€ • 254.91$ • 205.39£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781475788259
ISBN-10: 1475788258
Pagini: 476
Ilustrații: XVI, 464 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.66 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
ISBN-10: 1475788258
Pagini: 476
Ilustrații: XVI, 464 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.66 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Formal Methods in Software Development I.- Automated Derivation of ILP Implementations from SDL Specifications.- Stepwise Design with Message Sequence Charts.- Formal Synthesis and Control of Soft Embedded Real-Time Systems.- Distributed Systems Testing.- Towards a Formal Framework for Interoperability Testing.- Distributed Test Using Logical Clock.- Diagnosing Multiple Faults in Communicating Finite State Machines.- From Active to Passive: Progress in Testing of Internet Routing Protocols.- Timed Automata.- Time and Action Lock Freedom Properties for Timed Automata.- Compiling Real-time Scenarios into a Timed Automaton.- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas.- Process Algebra.- PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.- A Symbolic Semantics and Bisimulation for Full Lotos.- Implementing a Modal Logic Over Data and Processes Using XTL.- Applications of Verification.- Formal Verification of Peephole Optimizations in Asynchronous Circuits.- Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram.- Verifying a Sliding-Window Protocol Using PVS.- Test Sequence Derivation.- Test Sequence Selection.- Executable Test Sequence for the Protocol Data Flow Property.- A Method to Generate Conformance Test Sequences for FSM with Timer System Call.- Formal Methods in Software Development II.- A Tool for Generating Specifications from A Family of Formal Requirements.- Patterns and Rules for Behavioural Subtyping.- Theories of Verification.- Verification of Dense Time Properties Using Theories of Untimed Process Algebra.- Testing Liveness Properties.- SVL: A Scripting Language for Compositional Verification.- Invited Papers.- On Formal Techniques in Protocol Engineering — Example Challenges.- A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce.- A Family of Resource-Bound Real-Time Process Algebras.- Survivability Analysis of Networked Systems.