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

£148.05

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: 148.05 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£148 today · all-time low £148 (May 2026) · usually £148

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 61 days • 61 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 61 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £150 (23 days, 37.7%)

Price range: £148 - £151

Price levels: 4 different prices over 61 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 1 month 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 Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

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

Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)

Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)

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

Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)

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

Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... 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)

Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology)

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

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

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

Optical Networks: Design and Modelling / IFIP TC6 Second International Working Conference on Optical Network Design and Modelling (ONDM’98) February ... Information and Communication Technology, 19)

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)

Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)

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)

Situational Method Engineering: Fundamentals and Experiences: Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, ... and Communication Technology, 244)

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)