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
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Paperback, 2014 ed.): Cliff... FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Paperback, 2014 ed.)
Cliff Jones, Pekka Pihlajasaari, Jun Sun
R3,012 Discovery Miles 30 120
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Handbook of Revivals (Paperback): Henry Fish
Handbook of Revivals
Henry Fish Paperback R349 Discovery Miles 3 490
A Dangerous Love - A Memoir Of Love, Obsession And Violence (Paperback): Karen Daniels
A Dangerous Love - A Memoir Of Love…
Karen Daniels Paperback R426 Discovery Miles 4 260
Crock Pot Chicken Recipes Cookbook - +60 Quick & Easy Recipes and Dishes to Stay Healthy, and Find Your Well-Being (Hardcover):...
Crock Pot Chicken Recipes Cookbook - +60…
Emma Ray Hardcover R787 R686 Discovery Miles 6 860
Lied Vir Sarah - Lesse Van My Ma (Afrikaans, Hardcover): Jonathan Jansen, Naomi Jansen
Lied Vir Sarah - Lesse Van My Ma
Jonathan Jansen, Naomi Jansen Hardcover  (1)
 R100 R93 Discovery Miles 930
Beat Cancer Kitchen - Deliciously Simple Plant-Based Anti-Cancer Recipes (Paperback): Chris Wark, Micah Wark
Beat Cancer Kitchen - Deliciously Simple…
Chris Wark, Micah Wark Paperback R450 Discovery Miles 4 500
Tensor Computation for Data Analysis (Hardcover, 1st ed. 2022): Yipeng Liu, Jiani Liu, Zhen Long, Ce Zhu
Tensor Computation for Data Analysis
Yipeng Liu, Jiani Liu, … Hardcover R3,414 Discovery Miles 34 140
The Gospel of Mark and Other Haunted Places (Hardcover): Peter McLellan
The Gospel of Mark and Other Haunted…
Peter McLellan Hardcover R3,511 Discovery Miles 35 110
Iron Flame - The Empyrean: Book 2 (Paperback): Rebecca Yarros
Iron Flame - The Empyrean: Book 2
Rebecca Yarros Paperback R305 R272 Discovery Miles 2 720
Hell Empty, Heaven Full - Stirring Compassion for the Lost (Paperback, Reissue ed.): Reinhard Bonnke
Hell Empty, Heaven Full - Stirring…
Reinhard Bonnke Paperback R423 R396 Discovery Miles 3 960
Perspectives on Classifier Constructions in Sign Languages (Paperback): Karen Emmorey
Perspectives on Classifier Constructions…
Karen Emmorey Paperback R1,782 Discovery Miles 17 820

 
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