Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Häftad, Engelska, 2006
Av Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
1 449 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2006-09-27
- Mått155 x 235 x undefined mm
- SpråkEngelska
- SerieProgramming and Software Engineering
- Antal sidor488
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540462194
Hoppa över listan
Du kanske också är intresserad av
Del 2884
Del 6
Concepts and Semantics of Programming Languages 1
Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge, France) Hardin, Therese (Sorbonne University, France) Jaume, Mathieu (Sorbonne University, France) Pessaux, Francois (ENSTA Paris, France) Viguie Donzeau-Gouge, Veronique (Conservatoire national des arts et metiers (Cnam Paris)
2 259 kr
- Nyhet
- Nyhet