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

Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings... Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Paperback, 1st ed. 2022)
Maurice H. ter Beek, Rosemary Monahan
R1,801 R1,698 Discovery Miles 16 980 Save R103 (6%)
Add to cart
Ships in 9 - 17 working days

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Dr. Marta's Literacy Learning Guide For Use With The Three Little Rigs by David Gordon (Hardcover): Marta D Collier
Dr. Marta's Literacy Learning Guide For…
Marta D Collier Hardcover R1,566 Discovery Miles 15 660
Investigating Windows Systems (Paperback): Harlan Carvey
Investigating Windows Systems
Harlan Carvey Paperback R1,450 Discovery Miles 14 500
The Business Builder's Toolkit - A Practical Handbook For Business Leaders (Paperback): Nic Haralambous
The Business Builder's Toolkit - A…
Nic Haralambous Paperback R330 Discovery Miles 3 300
So, You Want To Be A Doctoral Learner Huh? Are You Nuts?! - A short story of my difficult journey as an online doctoral...
So, You Want To Be A Doctoral Learner…
L.A. Davis Hardcover R724 Discovery Miles 7 240
Kirstenbosch - A Visitor's Guide (Paperback, New Edition): Colin Paterson-Jones, John Winter
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R170 R152 Discovery Miles 1 520
Dr. Marta's Literacy Learning Guide For Use With Community Soup by Alma Fullerton (Hardcover): Marta D Collier
Dr. Marta's Literacy Learning Guide For…
Marta D Collier Hardcover R1,568 Discovery Miles 15 680
Tekken 5" Plushie - Paul - [Parallel Import]:
Tekken 5" Plushie - Paul - [Parallel…
R1,189 R665 Discovery Miles 6 650
Lattafa Raed Silver Unisex Eau De Parfum (Spray)(100 ml) - Parallel Import:
Lattafa Raed Silver Unisex Eau De Parfum…
R560 Discovery Miles 5 600
The E-Learning Strategy (Large print, Hardcover, Large type / large print edition): Matthew W Rinehart
The E-Learning Strategy
Matthew W Rinehart Hardcover R393 R368 Discovery Miles 3 680
Google Classroom for Teachers (2020 and Beyond) - A User Guide for Beginners to Master the Use of Google Classroom to Provide...
Google Classroom for Teachers (2020 and…
Chris Button Hardcover R628 R567 Discovery Miles 5 670

 
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