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...
We Are Baptists - The Fundamental Truths of Our Faith and Message (Hardcover): E Solomon Ernst
We Are Baptists - The Fundamental Truths…
E Solomon Ernst Hardcover R890 Discovery Miles 8 900
Endocrine Disrupters - Environmental Health and Policies (Hardcover, 2001 ed.): Polyxeni Nicolopoulou-Stamati, Luc Hens, Vyvyan...
Endocrine Disrupters - Environmental…
Polyxeni Nicolopoulou-Stamati, Luc Hens, … Hardcover R4,226 Discovery Miles 42 260
Midnight Musings (Hardcover): William James
Midnight Musings
William James Hardcover R614 Discovery Miles 6 140
Law And Gospel In The Theology Of Andrew Fuller (Hardcover): George M. Ella
Law And Gospel In The Theology Of Andrew…
George M. Ella Hardcover R1,204 Discovery Miles 12 040
Wicca - Not Just for Beginners. Part 2 - Continue of the First Very Successful Wicca for Beginners! A Book for Wiccans, Witches...
Wicca - Not Just for Beginners. Part 2…
Judith Guise Hardcover R572 Discovery Miles 5 720
The Sung Theology of the English Particular Baptist Revival (Hardcover): Joseph V Carmichael
The Sung Theology of the English…
Joseph V Carmichael Hardcover R1,154 Discovery Miles 11 540
Like Sodium In Water - A Memoir Of Home And Heartache (Paperback): Hayden Eastwood
Like Sodium In Water - A Memoir Of Home…
Hayden Eastwood Paperback  (1)
 R354 Discovery Miles 3 540
Nama-Ramayanam Legacy Book - Endowment of Devotion - Embellish it with your Rama Namas & present it to someone you love...
Nama-Ramayanam Legacy Book - Endowment…
Sushma Hardcover R445 Discovery Miles 4 450
Oh Da Joy - A conversation in the art of joyful living (Hardcover): Pat Jewell
Oh Da Joy - A conversation in the art of…
Pat Jewell Hardcover R558 Discovery Miles 5 580
Thinking With the Church (Hardcover): Derek C. Hatch
Thinking With the Church
Derek C. Hatch Hardcover R1,054 R892 Discovery Miles 8 920

 
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