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

Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24,... Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (1st ed. 2023)
Shaoying Liu, Zhenhua Duan, Ai Liu
R1,409 Discovery Miles 14 090
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification.   .

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
What Does the Tooth Fairy Do With All Those Teeth? (Hardcover): Bernadette Dimatteo
What Does the Tooth Fairy Do With All…
Bernadette Dimatteo Hardcover R580 R530 Discovery Miles 5 300
DinoLena - The brave little girl that teaches the small Langerhans cells how to swim. (Hardcover): Paula Ruckstuhl
DinoLena - The brave little girl that…
Paula Ruckstuhl Hardcover R495 Discovery Miles 4 950
I Am Here - My Mindful Morning (Hardcover): Lizelle Marpa Tucci
I Am Here - My Mindful Morning
Lizelle Marpa Tucci Hardcover R473 Discovery Miles 4 730
Deidra's Dolly (Hardcover): Linda S Mai
Deidra's Dolly
Linda S Mai Hardcover R564 R519 Discovery Miles 5 190
From Para To Dakar - Overcoming Paralysis And Conquering The Dakar Rally, A Journey Of Courage And Determination (Paperback):...
From Para To Dakar - Overcoming…
Joey Evans Paperback  (2)
 R310 R277 Discovery Miles 2 770
The Changing Story (Hardcover): Ahriana Platten
The Changing Story
Ahriana Platten Hardcover R480 Discovery Miles 4 800
The American Health Care Crisis (Hardcover): Larry Stone
The American Health Care Crisis
Larry Stone Hardcover R464 Discovery Miles 4 640
Cardiology for Babies (Board book): Dr Haitham Ahmed
Cardiology for Babies
Dr Haitham Ahmed Board book R229 Discovery Miles 2 290
Knee Pain - Treating Knee Pain: Preventing Knee Pain: Natural Remedies, Medical Solutions, Along With Exercises And Rehab For...
Knee Pain - Treating Knee Pain…
Ace McCloud Hardcover R527 R492 Discovery Miles 4 920
Eye Care Netra Jyoti (Hardcover): Ashwini Kumar Aggarwal
Eye Care Netra Jyoti
Ashwini Kumar Aggarwal Hardcover R502 Discovery Miles 5 020

 
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