Bookshelf
| can't find it |

| browse books |
books
 

| book details |

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Edited by Luis Soares Barbosa, Edited by Markus Lumpe

| on special |

normal price: R 2 267.95

Price: R 2 153.95


| book description |

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

| product details |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 9 Mar 2012
Language |
Format | Paperback / softback
Pages | 305
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6422-7268-4
Readership Age |
BISAC | computers / programming / software development


| other options |


| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks


The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order