Formal Description Techniques and Protocol Specification, Testing and Verification Image close
Formal Description Techniques and Protocol Specification, Testing and Verification on Hardback by Atsushi Togashi
Formal Description Techniques and Protocol Specification, Testing and Verification on Hardback by Atsushi Togashi
Show Hide Adult Content
Formal Description Techniques and Protocol Specification, Testing and Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Communications & Networking  
Networking standards & protocols

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$540.99
RRP:
$562.95 save $21.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $135.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Formal Description Techniques VII on Hardback
$561.99
Formal Description Techniques VII
Hardback
Available - Usually ships in 3-4 weeks
Intelligent Networks on Hardback by Olli Martikainen
$547.99
Intelligent Networks
by Olli Martikainen ~ Hardback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-based Distributed Systems on Hardback Save $25
$536.99
$562.95
Formal Methods for Open Object-based Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Performance of Information and Communication Systems on Hardback
$550.99
Performance of Information and Communication Systems
Hardback
Available - Usually ships in 3-4 weeks
Challenges in Ad Hoc Networking on Hardback
$275.99
Challenges in Ad Hoc Networking
Hardback
Available - Usually ships in 3-4 weeks
Broadband Satellite Communication Systems and the Challenges of Mobility on Hardback Save $32
$271.99
$304.95
Broadband Satellite Communication Systems and the Challenges of...
Hardback
Available - Usually ships in 3-4 weeks
Information Networks and Data Communication on Hardback
$557.99
Information Networks and Data Communication
Hardback
Available - Usually ships in 3-4 weeks
Intelligent Networks and Intelligence in Networks on Hardback
$548.99
Intelligent Networks and Intelligence in Networks
Hardback
Available - Usually ships in 3-4 weeks
Communications and Multimedia Security II on Hardback Save $9
$430.99
$440.95
Communications and Multimedia Security II
Hardback
Available - Usually ships in 3-4 weeks
Protocols for High-Speed Networks VI on Hardback
$532.99
Protocols for High-Speed Networks VI
Hardback
Available - Usually ships in 3-4 weeks
Performance and Management of Complex Communication Networks on Hardback Save $23
$416.99
$440.95
Performance and Management of Complex Communication Networks
Hardback
Available - Usually ships in 3-4 weeks
Optical Networks on Hardback Save $55
$271.99
$327.95
Optical Networks
Hardback
Available - Usually ships in 3-4 weeks
Testing of Communicating Systems on Hardback by Myungchul Kim
$557.99
Testing of Communicating Systems
by Myungchul Kim ~ Hardback
Available - Usually ships in 3-4 weeks
Testing of Communicating Systems on Hardback
$551.99
Testing of Communicating Systems
Hardback
Available - Usually ships in 3-4 weeks
Telecommunication Network Intelligence on Hardback
$542.99
Telecommunication Network Intelligence
Hardback
Available - Usually ships in 3-4 weeks
Security and Privacy in the Age of Uncertainty Save $17
$275.99
$293.95
Security and Privacy in the Age of Uncertainty
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications.
Release date Australia
October 31st, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XI, 550 p.
Pages
550
Dimensions
156x234x31
ISBN-13
9780412820601
Product ID
2436654

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Atsushi Togashi

See all books by this author

Formal Description Techniques and Protocol Specification, Testing and Verification by Atsushi Togashi Save $23
$538.99
$562.95
Formal Description Techniques and Protocol Specification, Testing and...
by Atsushi Togashi ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Communications & Networking >
Networking standards & protocols
Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer science >
Signal processing