Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology

Softcover reprint of the original 1st Edition 1997

Paperback (11 Jan 2013)

Save $25.25

  • RRP $267.37
  • $242.12
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

    Book information

    ISBN: 9781475752601
    Publisher: Springer US
    Imprint: Springer
    Pub date:
    Edition: Softcover reprint of the original 1st Edition 1997
    Language: English
    Number of pages: 550
    Weight: 860g
    Height: 235mm
    Width: 155mm
    Spine width: 29mm

    We recommend

    $4.43off

    Add to basket

    $16.66off

    Add to basket

    $0.41off

    Add to basket

    $23.89off

    Pattern Recognition

    Jürgen Beyerer, Raph...

    Paperback
    Published 01 Apr 2024

    Save $23.89

    • RRP $99.08
    • $75.19
    Add to basket

    $16.87off

    Add to basket
    Add to basket
    Add to basket

    $20.23off

    Add to basket

    $3.51off

    Add to basket