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 - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022,... Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Lucas Lima, Vince Molnar
R1,486 Discovery Miles 14 860
Add to cart
Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Computational Intelligence for Multimedia Big Data on the Cloud with Engineering Applications (Paperback): Arun Kumar Sangaiah,...
Computational Intelligence for…
Arun Kumar Sangaiah, Zhiyong Z,Zhang, … Paperback R3,164 R2,964 Discovery Miles 29 640
Diagnostic Biomedical Signal and Image Processing Applications - With Deep Learning Methods (Paperback): Kemal Polat, Saban...
Diagnostic Biomedical Signal and Image…
Kemal Polat, Saban Ozturk Paperback R2,952 Discovery Miles 29 520
Progressive Lawyers under Siege - Moral Panic during the McCarthy Years (Hardcover): Colin Wark, John F. Galliher
Progressive Lawyers under Siege - Moral…
Colin Wark, John F. Galliher Hardcover R3,188 Discovery Miles 31 880
A History of British Trade Unionism (Hardcover, 5th Revised edition): Henry Pelling
A History of British Trade Unionism
Henry Pelling Hardcover R4,044 Discovery Miles 40 440
Bloody Saturday in the Soviet Union - Novocherkassk, 1962 (Paperback, New Ed): Samuel H. Baron
Bloody Saturday in the Soviet Union…
Samuel H. Baron Paperback R922 Discovery Miles 9 220
European Trade Unions - Change and Response (Hardcover, New): Teresa Lawlor, Mike Rigby, Roger Smith
European Trade Unions - Change and…
Teresa Lawlor, Mike Rigby, … Hardcover R2,803 Discovery Miles 28 030
Personnel Psychology - An Applied Perspective (Paperback, 2nd Edition): M. Coetzee, D. Schreuder
Personnel Psychology - An Applied…
M. Coetzee, D. Schreuder Paperback R514 Discovery Miles 5 140
My Year Of Not Getting Sh*tfaced - How I Tried And Failed To Give Up Alcohol And Learned The Joys Of Moderation (Paperback):...
My Year Of Not Getting Sh*tfaced - How I…
Pamela Power Paperback R280 R250 Discovery Miles 2 500
Employee Engagement In A South African Context (Paperback): Hester Nienaber, Nico Martins
Employee Engagement In A South African…
Hester Nienaber, Nico Martins Paperback R376 Discovery Miles 3 760
WTF - Capturing Zuma: A Cartoonist's Tale (Paperback): Zapiro
WTF - Capturing Zuma: A Cartoonist's…
Zapiro Paperback R295 R272 Discovery Miles 2 720

 
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