Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November... Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers (Paperback, Edition.)
Jim Davies, Leila Silva, Adenilso Simao
R1,598 Discovery Miles 15 980
Add to cart
Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Integrated Risk of Pandemic: Covid-19 Impacts, Resilience and Recommendations (Hardcover, 1st ed. 2020): Indian Institute of...
Integrated Risk of Pandemic: Covid-19…
Indian Institute of Technology Indore, National Institute of Disaster Managemen Hardcover R6,742 Discovery Miles 67 420
Shelter (Hardcover): Lucky Michaels
Shelter
Lucky Michaels Hardcover R950 R671 Discovery Miles 6 710
Gut Remediation of Environmental Pollutants - Potential Roles of Probiotics and Gut Microbiota (Hardcover, 1st ed. 2020):...
Gut Remediation of Environmental…
Xiangkai Li, Pu Liu Hardcover R3,041 Discovery Miles 30 410
Making a New Man - Ciceronian Self-Fashioning in the Rhetorical Works (Hardcover): John Dugan
Making a New Man - Ciceronian…
John Dugan Hardcover R8,495 Discovery Miles 84 950
Cross-Media Service Delivery (Hardcover, 2003 ed.): Diomidis Spinellis
Cross-Media Service Delivery
Diomidis Spinellis Hardcover R4,721 Discovery Miles 47 210
Testing for Kindergarten - Simple Strategies to Help Your Child Ace the Tests For: Public School Placement, Private School...
Testing for Kindergarten - Simple…
Karen Quinn Paperback R476 R446 Discovery Miles 4 460
The Dogs - Human Animals (English, German, Hardcover): Vincent Lagrange
The Dogs - Human Animals
Vincent Lagrange Hardcover R666 Discovery Miles 6 660
Physiology Question-Based Learning - Cardio, Respiratory and Renal Systems (Hardcover, 2015 ed.): Hwee Ming Cheng
Physiology Question-Based Learning…
Hwee Ming Cheng Hardcover R4,461 R3,586 Discovery Miles 35 860
Handbook of Classroom Management (Paperback, 3rd edition): Edward J. Sabornie, Dorothy L. Espelage
Handbook of Classroom Management
Edward J. Sabornie, Dorothy L. Espelage Paperback R3,470 Discovery Miles 34 700
Desert Weeds - Personal Narrative on Botanical First Responders (Hardcover, 1st ed. 2020): Garry Rogers
Desert Weeds - Personal Narrative on…
Garry Rogers Hardcover R5,387 Discovery Miles 53 870

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners