Order Total (1 Item Items):
Shipping Destination:
Cimatti Alessandro (54 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (54)
- 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 (44)
- As New, Fine or Near Fine (8)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (54)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (29)
- Not Print on Demand (45)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Paperback or Softback. Condition: New. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Book.
-
-
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20â"22, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031436806 ISBN 13: 9783031436802
Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 2022, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 2022, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Language: English
Published by Springer Berlin Heidelberg 2010-06-02, 2010
ISBN 10: 3540343040 ISBN 13: 9783540343042
Paperback. Condition: New.
-
-
-
Condition: New. pp. 256.
-
Software Engineering and Formal Methods : 15th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006 Betinoro, Italy, May 22-27, 2006 Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Theory and Applications of Satisfiability Testing -- Sat 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 256 Illus.
-
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.51
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Software Engineering And Formal Methods
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Theory and Applications of Satisfiability Testing -- Sat 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Software Engineering and Formal Methods : 15th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 256.
-
Condition: New.
-
Paperback. Condition: Brand New. 2012 edition. 514 pages. 9.25x6.25x1.00 inches. In Stock.
-
Software Engineering and Formal Methods
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319661965 ISBN 13: 9783319661964
Kartoniert / Broschiert. Condition: New.
-
Formal Methods for Industrial Critical Systems: 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031436806 ISBN 13: 9783031436802
Paperback. Condition: Brand New. 270 pages. 9.25x6.10x0.57 inches. In Stock.
-
Formal Methods for Hardware Verification
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540343040 ISBN 13: 9783540343042
Condition: New. Presents papers accompanying lectures given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software SystemsFocused on formal techniques for hardware verificationCovers many asp.
-
Formal Methods for Industrial Critical Systems
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031436806 ISBN 13: 9783031436802
Kartoniert / Broschiert. Condition: New.
