Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R1,603
Discovery Miles 16 030
Repayment Terms: R150 pm x 12*
Add to cart
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021,...

Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)

Sergio Campos, Marius Minea

Series: Lecture Notes in Computer Science, 13130

 (sign in to rate)
Loot Price R1,603 Discovery Miles 16 030 | Repayment Terms: R150 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 13130
Release date: November 2021
First published: 2021
Editors: Sergio Campos • Marius Minea
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 141
Edition: 1st ed. 2021
ISBN-13: 978-3-03-092136-1
Categories: Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-03-092136-0
Barcode: 9783030921361

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,336 R1,239 Discovery Miles 12 390
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
Essential Java for Scientists and Engineers (Paperback): Brian Hahn, Katherine Malan
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,341 Discovery Miles 13 410
Using UML - Software Engineering with Objects and Components (Paperback, 2nd edition): Perdita Stevens
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,462 Discovery Miles 24 620
Software Engineering for Real-Time Systems (Paperback): Jim Cooling
Software Engineering for Real-Time…
Jim Cooling Paperback R2,285 Discovery Miles 22 850
Software Requirements - Styles and Techniques (Paperback, New): Soren Lauesen
Software Requirements - Styles and…
Soren Lauesen Paperback R2,205 Discovery Miles 22 050
Design and Use of Software Architectures - Adopting and Evolving a Product-Line Approach (Paperback, New): Jan Bosch
Design and Use of Software Architectures…
Jan Bosch Paperback R1,773 Discovery Miles 17 730
Software Requirements And Specifications - Software Requirements And Specifications (Paperback, Reissue): M. Jackson
Software Requirements And Specifications…
M. Jackson Paperback R1,602 Discovery Miles 16 020
Software Inspection (Paperback, New): Tom Gilb, Dorothy Graham
Software Inspection
Tom Gilb, Dorothy Graham Paperback R1,855 Discovery Miles 18 550
Principles of Big Graph: In-depth Insight, Volume 128 (Hardcover): Ripon Patgiri, Ganesh Chandra Deka, Anupam Biswas
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R4,981 R4,170 Discovery Miles 41 700
Edge/Fog Computing Paradigm: The Concept, Platforms and Applications., Volume 127 (Hardcover): Pethuru Raj, Kavita Saini,...
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R5,025 R4,214 Discovery Miles 42 140
Working Effectively with Legacy Code (Paperback, New): Michael C. Feathers
Working Effectively with Legacy Code
Michael C. Feathers Paperback R1,649 R1,341 Discovery Miles 13 410

See more
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