The Austin Protocol Compiler

₱12,590.00
+ ₱1,971.99 Shipping

The Austin Protocol Compiler

Sold by:
  • product image
The Austin Protocol Compiler

₱12,590.00

In stock
+ ₱1,971.99 Shipping

14-Day Returns Policy

Payment methods:

Product details

Product details

The Austin Protocol Compiler

There Are Two Groups Of Researchers Who Are Interested In Designing Network Protocols And Who Cannot (yet) Effectively Communicate With One Another C- Cerning These Protocols. The First Is The Group Of Protocol Verifiers, And The Second Is The Group Of Protocol Implementors. The Main Reason For The Lack Of Effective Communication Between These Two Groups Is That These Groups Use Languages With Quite Different Semantics To Specify Network Protocols.
  • Brand: Springer Nature B.V
  • Category: Computing & Internet
  • Format: Hardcover
  • Language: English
  • Publication Date: 2004-11-19
  • Publisher / Label: Springer Nature B.V
  • Author: Tommy M. McGuire
  • Number of Pages: 160
  • Fruugo ID: 550921695-1115599824
  • ISBN: 9780387232270
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: ₱1,971.99 - Delivery between Fri 06 November 2026–Fri 04 December 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy