Order Total (1 Item Items):
Shipping Destination:
Cimatti Alessandro (52 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (52)
- 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 (42)
- 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 (52)
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 (43)
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.
-
-
-
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.
-
Condition: New. pp. 256.
-
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.
-
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.
-
Condition: New. pp. 256 Illus.
-
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.
-
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.
-
Software Engineering and Formal Methods
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319661965 ISBN 13: 9783319661964
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -¿This book constitutes the refereed proceedings of the 15th InternationalConference on Software Engineering and Formal Methods, SEFM 2017, heldin Trento, Italy, in September 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.
-
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4¿8, 2017, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319661965 ISBN 13: 9783319661964
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.
