Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28) - Image 1

£147.54

Springer Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

Name: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99: 28 (IFIP Advances in Information and Communication Technology, 28)
Brand: Springer
Price: 144.37 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£148 today · all-time low £144 (Feb 2026) · usually £150

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £150 (51 days, 56.7%)

Price range: £144 - £151

Price levels: 5 different prices over 90 days

Description

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1475752709
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 18 April 2013
Listed Since: 20 September 2013

Barcode

No barcode data available

Springer Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)

Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)

Fault-Tolerant Parallel and Distributed Systems

System Modelling and Optimization: Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12–16, 1999, ... Information and Communication Technology, 46)

Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26–27, 2001, ... Information and Communication Technology, 78)

Principles of Protocol Design

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology, 173)

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

New Trends in Optical Network Design and Modeling: IFIP TC6 Fourth Working Conference on Optical Network Design and Modeling February 7–8, 2000, ... Information and Communication Technology, 62)

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Information Infrastructure Systems for Manufacturing II: IFIP TC5 WG5.3/5.7 Third International Working Conference on the Design of Information ... Information and Communication Technology, 16)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

New Information Technologies in Organizational Processes: Field Studies and Theoretical Reflections on the Future of Work: 20 (IFIP Advances in Information and Communication Technology, 20)

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering, 63)

E-Government ICT Professionalism and Competences Service Science: IFIP 20th World Computer Congress, Industry Oriented Conferences, September 7-10, ... and Communication Technology, 280)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)

Computer and Computing Technologies in Agriculture, Volume II: First IFIP TC 12 International Conference on Computer and Computing Technologies in ... and Communication Technology, 259)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... and Communication Technology, 273)

Performance and Management of Complex Communication Networks: IFIP TC6 / WG6.3 & WG7.3 International Conference on the Performance and Management of ... in Information and Communication Technology)

Research Perspectives and Case Studies in System Test and Diagnosis: 13 (Frontiers in Electronic Testing, 13)

Parallel and Distributed Information Systems