Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods for Distributed System Development

Formal Methods for Distributed System Development

in Information and Communication Technology)

by Tommaso Bolognesi

Springer-Verlag New York Inc · 2013

₹15,356

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

Published by Springer-Verlag New York Inc in 2013, Formal Methods for Distributed System Development: in Information and Communication Technology) by Tommaso Bolognesi runs to 412 pages.

The book deals with Electronic data processing, Computer engineering, Computer science and Software engineering.

Book details

ISBN-13
9781475752649
ISBN-10
1475752644
Author
Tommaso Bolognesi
Published
2013
Edition
Softcover Reprint of the Original 1st 2000 ed.
Pages
412
Language
English
Condition
New
See all