Computing & IT
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Computing & IT
Applications of computing
Computer hardware & operating systems
Computer programming
General theory of computing
Social & legal aspects of computing
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Format
Hardcover
Paperback
Author / Contributor
Abdul Alkalimat
Adenilso Simao
Dan Schiller
George Caffentzis
Gerardo Otero
Guglielmo Carchedi
James Welch
Show All
Publisher
Cambridge UniversityPress
River Publishers
Springer-Verlag
Verso Books
Filter Results
Showing 9 Results in Computing & IT
Relevance
Engineering Agile Big-Data Systems (Hardcover)
Kevin Feeney
,
Jim Davies
,
James Welch
R
2,813
Add to Cart
Ships in 12 - 17 working days
Specification and Proof in Real Time CSP (Paperback)
Jim Davies
R
1,575
Add to Cart
Ships in 12 - 17 working days
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Paperback, Edition.)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Integrated Formal Methods - 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Paperback, 2007 ed.)
R
3,076
Add to Cart
Ships in 10 - 15 working days
Formal Methods and Software Engineering - 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Paperback, 2004 ed.)
R
3,198
Add to Cart
Ships in 10 - 15 working days
Specification and Proof in Real Time CSP (Hardcover)
Jim Davies
R
3,254
Add to Cart
Ships in 12 - 17 working days
FM'99 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Paperback, 1999 ed.)
R
3,167
Add to Cart
Ships in 10 - 15 working days
FM'99 - Formal Methods - World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Paperback, 1999 ed.)
R
3,164
Add to Cart
Ships in 10 - 15 working days
Cutting Edge - Technology, Information, Capitalism and Social Revolution (Paperback)
R
711
Add to Cart
Ships in 12 - 17 working days