Home

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Coles

Loading Inventory...
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings in Ottawa, ON

Current price: $58.50
Visit retailer's website
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings in Ottawa, ON

Current price: $58.50
Loading Inventory...

Size: Paperback

Visit retailer's website
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

You May Also Like

Advances Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Information Security, Guangzhou, China, December 4-8, 2023, Proceedings
Loading Inventory...
Loading Inventory...
Coles
Advances Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Information Security, Guangzhou, China, December 4-8, 2023, Proceedings
Current price: $124.50
From Coles
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings
Loading Inventory...
Loading Inventory...
Coles
Advances in Cryptology - ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings
Current price: $58.50
From Coles
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Loading Inventory...
Loading Inventory...
Coles
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Current price: $107.95
From Coles
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Loading Inventory...
Loading Inventory...
Coles
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Current price: $131.50
From Coles
2023 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2023) Proceedings: Volume II
Loading Inventory...
Loading Inventory...
Coles
2023 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2023) Proceedings: Volume II
Current price: $481.95
From Coles
Artificial Intelligence Research: 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, Proceedings
Loading Inventory...
Loading Inventory...
Coles
Artificial Intelligence Research: 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, Proceedings
Current price: $103.19
Original price: $129.00
From Coles
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Loading Inventory...
Loading Inventory...
Coles
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Current price: $80.50
From Coles
Information Security: 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings
Loading Inventory...
Loading Inventory...
Coles
Information Security: 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings
Current price: $58.50
From Coles
AI Methods and Applications 3D Technologies: Proceedings of 3DWCAI 2023
Loading Inventory...
Loading Inventory...
Coles
AI Methods and Applications 3D Technologies: Proceedings of 3DWCAI 2023
Current price: $258.09
Original price: $322.51
From Coles
Advances Cryptology - ASIACRYPT 2016: 22nd International Conference on the Theory and Application of Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
Loading Inventory...
Loading Inventory...
Coles
Advances Cryptology - ASIACRYPT 2016: 22nd International Conference on the Theory and Application of Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
Current price: $116.09
Original price: $145.12
From Coles
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Loading Inventory...
Loading Inventory...
Coles
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I
Current price: $58.50
From Coles

Keep Shopping

On Sale.webp

On Sale

New In.webp

New In

Man with hat.webp

Men

Woman and Palm Trees.webp

Women

Baby and kids.webp

Baby and Kids

Beauty Products.webp

Beauty

Jewellery and Book.webp

Jewelry

More About Coles at Bayshore Shopping Centre

Coles is renowned for its outstanding customer service and great selection of books. Along with the vast array of magazines, stationary, audio-books, children's literature, fiction, non-fiction and reference books, you can find accessories to make your reading experience more pleasurable. We can recommend the very best in reading today. We will help you search our titles for exactly what you need, and if we do not have it in stock, we will order it for you.

100 Bayshore Dr, Nepean, ON K2B 8C1, Canada

Store Info

Find Coles at Bayshore Shopping Centre in Ottawa, ON

Visit Coles at Bayshore Shopping Centre in Ottawa, ON
Powered by Adeptmind