Computer aided verification 7th (14 résultats)

Etat : Good. 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.…

Etat : New.

Etat : New. In English.

Taschenbuch. Etat : 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. Etat : 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. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

Taschenbuch. Etat : 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 Netherlands | EAN 9789048163427 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Etat : 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. Etat : 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.…

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Buch. Etat : 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 Netherlands | 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.…