0
Your cart
![]() |
![]() |
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
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.
|
![]() ![]() You may like...
Evaluating Creativity - Making and…
Julian Sefton-Green, Rebecca Sinker
Paperback
R2,100
Discovery Miles 21 000
Abolition and the Underground Railroad…
Michelle Arnosky Sherburne
Paperback
Love in the Post-Reconceptualist Era of…
Allan Michel Jales Coutinho
Hardcover
R1,562
Discovery Miles 15 620
Historic Tales of Colonial Rhode Island…
Richard V Simpson
Paperback
A Handbook for Doctoral Supervisors
Stan Taylor, Margaret Kiley, …
Hardcover
R4,142
Discovery Miles 41 420
|