Order Total (1 Item Items):
Shipping Destination:
Computer Aided Verification 7th (15 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (15)
- 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 (10)
- As New, Fine or Near Fine (3)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
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 (10)
- Not Print on Demand (14)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science 939)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, March 2 (weekend SALE item)* 451 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
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.
-
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science, 939)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 3540600450 ISBN 13: 9783540600459
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.
-
Taschenbuch. Condition: Neu. Computer Aided Verification | 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings | Pierre Wolper | Taschenbuch | xii | Englisch | 1995 | Springer | EAN 9783540600459 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Paperback. Condition: Like New. Like New. book.
-
-
Geometric Product Specification and Verification : Integration of Functionality : Selected Conference Papers of the 7th Cirp International Seminar on Computer-Aided Tolerancing, Ecole Normale
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 134.29
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
Geometric Product Specification and Verification : Integration of Functionality : Selected Conference Papers of the 7th Cirp International Seminar on Computer-Aided Tolerancing, Ecole Normale
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 152.03
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Taschenbuch. Condition: Neu. Geometric Product Specification and Verification: Integration of Functionality | Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the École Normale Supérieure de Cachan, France, 24-25 April 2001 | Luc Mathieu (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Springer Netherland | EAN 9789048163427 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Geometric Product Specification and Verification: Integration of Functionality : Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the École Normale Supérieure de Cachan, France, 24¿25 April 2001
Language: English
Published by Springer Netherlands, Springer Netherlands, 2003
ISBN 10: 1402014236 ISBN 13: 9781402014239
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book focuses in particular on Geometrical Product Specification and Verification which is an integrated tolerancing view and metrology proposed for ISO/TC213. Common geometrical bases for a language allowing to describe both functional specification and inspection procedures are provided. An extended view of the uncertainty concept is also given. Geometric Product Specification and Verification: Functionality Integration is an excellent resource to anyone interested in computer aided tolerancing, as well as CAD/CAM/CAQ. It can also be used as a good starting point for advanced research activity and is a good reference for industrial issues. A global view of geometrical product specification, models for tolerance representation, tolerance analysis, tolerance synthesis, tolerance in manufacturing, tolerance management, tolerance inspection, tolerancing standards, industrial applications and CAT systems are also included.
-
Geometric Product Specification and Verification: Integration of Functionality : Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the École Normale Supérieure de Cachan, France, 24-25 April 2001
Language: English
Published by Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048163420 ISBN 13: 9789048163427
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book focuses in particular on Geometrical Product Specification and Verification which is an integrated tolerancing view and metrology proposed for ISO/TC213. Common geometrical bases for a language allowing to describe both functional specification and inspection procedures are provided. An extended view of the uncertainty concept is also given. Geometric Product Specification and Verification: Functionality Integration is an excellent resource to anyone interested in computer aided tolerancing, as well as CAD/CAM/CAQ. It can also be used as a good starting point for advanced research activity and is a good reference for industrial issues. A global view of geometrical product specification, models for tolerance representation, tolerance analysis, tolerance synthesis, tolerance in manufacturing, tolerance management, tolerance inspection, tolerancing standards, industrial applications and CAT systems are also included.
-
Buch. Condition: Neu. Geometric Product Specification and Verification: Integration of Functionality | Selected Conference Papers of the 7th CIRP International Seminar on Computer-Aided Tolerancing, held at the École Normale Supérieure de Cachan, France, 24-25 April 2001 | Luc Mathieu (u. a.) | Buch | xiv | Englisch | 2003 | Springer Netherland | EAN 9781402014239 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
