Order Total (1 Item Items):
Shipping Destination:
Formal Methods Foundations Applications (202 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (202)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (177)
- As New, Fine or Near Fine (22)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (202)
Collectible Attributes
- First Edition (4)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (100)
- Not Print on Demand (149)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
-
-
-
-
-
-
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 53.36
US$ 15.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.13
US$ 15.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 53.35
US$ 19.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Formal Methods: Foundations and Applications (Paperback)
Published by Springer International Publishing AG, Cham, 2022
ISBN 10: 3031224752 ISBN 13: 9783031224751
Language: English
First Edition
Paperback. Condition: new. Paperback. 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 constructionof 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods: Foundations and Applications (Paperback)
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031493419 ISBN 13: 9783031493416
Language: English
First Edition
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
-
-
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.18
US$ 15.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.18
US$ 15.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.17
US$ 19.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 65.06
US$ 15.86 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
