Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

joint 12th IFIP WG 6.1 International Conference

by John Hatcliff, Elena Zucca

Springer · 2010

A Springer volume on formal techniques for distributed systems, linked to the 2010 DisCoTec federated conferences in Amsterdam. Of interest to distributed computing researchers.

₹5,508

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Formal Techniques for Distributed Systems is a Springer volume by John Hatcliff and Elena Zucca. Its subtitle ties it to the joint 12th and 30th IFIP WG 6.1 International Conferences, including FMOODS 2010. The publisher's notes connect the subject to the DisCoTec federated conferences held in Amsterdam in June 2010.

ISBN-13 9783642134630.

At a glance

  • Authors: John Hatcliff and Elena Zucca
  • Subtitle refers to FMOODS 2010 and IFIP WG 6.1 conferences
  • Published by Springer, ISBN-13 9783642134630

Book details

ISBN-13
9783642134630
ISBN-10
3642134637
Authors
John Hatcliff, Elena Zucca
Publisher
Springer
Published
2010
Series
LNCS sublibrary: SL 2-programming and software engineering
Pages
231
Language
English
Condition
New
Subject
Distributed processing

More by John Hatcliff and related titles

See all