0

My Bag

0.00

₹

Download App

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International ConferenceFMOODS 2009 and 29th IFIP WG 6.1 International Conference ... / Programming and Software Engineering) 4.0%OFF

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International ConferenceFMOODS 2009 and 29th IFIP WG 6.1 International Conference ... / Programming and Software Engineering)

by David Lee, Antonia Lopes and Arnd Poetzsch-Heffter

  • ISBN

    :  

    9783642021374

  • Publisher

    :  

    Springer

  • Subject

    :  

    Education, Computer Hardware, Computer Science

  • Binding

    :  

    PAPERBACK

  • Pages

    :  

    261

  • Year

    :  

    2009

₹

8445.0

4.0% OFF

₹

8107.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 25-28 Business Days

View Details

Share it on

  • Description

    This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Related Items

-

of

  • OFFER

    The Book of Numbers

    Devi Shakuntala

    Starts At

    135.0

    165.0

    18% OFF

  • Celebrating Dreams : Weddings in India

    Vandana Bhandari

    Starts At

    525.0

  • OFFER

    FreeBSD:the Complete Refrence

    Smith

    Starts At

    521.0

    695.0

    25% OFF

  • OFFER

    Optimizing Voice in ATM/IP Mobile Networks

    Juliet Bates

    Starts At

    3948.0

    5561.0

    29% OFF

  • OFFER

    ASP.NET: Developer's Guide

    Greg Buczek

    Starts At

    877.0

    1070.0

    18% OFF

  • OFFER

    Visual C++ Programming

    Yashavant P. Kanetkar

    Starts At

    288.0

    390.0

    26% OFF

  • OFFER

    English OA

    Swathanthra Sakthivel

    Starts At

    57.0

    59.0

    2% OFF

  • OFFER

    Millennium English STD 5: Readers

    Vimla Chandrashekharan

    Starts At

    62.0

    65.0

    4% OFF

  • OFFER

    Grammar and Composition: Bk. 1

    Robert Bellarmine

    Starts At

    71.0

    80.0

    11% OFF

  • OFFER

    Grammar and Composition: Bk. 2

    Robert Bellarmine

    Starts At

    72.0

    80.0

    9% OFF

  • I-Mode Crash Course

    John R. Vacca

    Starts At

    2981.0

  • OFFER

    Internet Architecture: An Introduction to IP Protocols

    Uyless D. Black

    Starts At

    4491.0

    5545.0

    19% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary