Code: 01564831

Formal Techniques for Networked and Distributed Systems - FORTE 2006

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2006
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564831
Price: 115.86 EUR
Availability: InStock

by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge

Language: English
Binding: Paperback
Number of pages: 488
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
More about this

115.86 €

Low in stock at our supplier
Shipping in 10 - 14 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Knowledge-Based Virtual Education
178.19 €
Buy
Fuzzy Systems and Soft Computing in Nuclear Engineering
178.19 €
Buy
Project Fourth Edition 3 Pracovní sešit
13.32 € -5 %
Buy
Fistfight at the L and M Saloon
20.40 € -24 %
Buy
Body of Crimson Leaves
11.51 € -24 %
Buy
Current Trends in the Soviet and East European Food Economy.
30.30 €
Buy
Die bundesrepublikanische Industrie auf dem Weltmarkt.
69.89 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Techniques for Networked and Distributed Systems - FORTE 2006

Book details
Synopsis
Trending among others

You get 290 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

115.86 €

Full title: Formal Techniques for Networked and Distributed Systems - FORTE 2006
Subtitle: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Author: Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Language: English
Binding: Paperback
Number of pages: 488
EAN: 9783540462194
ISBN: 3540462198
ID: 01564831
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1540 g
Dimensions: 235 × 155 × 29 mm
Date of publishing: 27. September 2006