9783540431671
Modular Specification and Verification of Object-Oriented Programs
Peter Muller
ISBN 13: 9783540431671
Publisher: Springer Verlag
Publication Date: 2002
Binding: Softcover
Your Satisfaction is Guaranteed:
Modular Specification and Verification of Object-Oriented Programs: Search Results
| 1. |
Modular Specification and Verification of Object-oriented Programs (ISBN: 9783540431671) Muller, Peter Quantity Available: 20
Book Description: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin, 2002. Book Condition: New. Bookseller Inventory # 6763931 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From Italy to U.S.A. |
||
| 2. |
Modular Specification and Verification of Object-oriented Programs: (ISBN: 3540431675 / 3-540-43167-5) Muller, Peter Quantity Available: 1
Book Description: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG Country = GERMANY, 2012. Paperback. Book Condition: New. 312 pages. This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 2002} This work presents new techniques for the formal specification and verification of object-oriented software. As modularity is of importance for reuse and component-based programming, emphasis is given to the completeness of specification techniques to allow module verification. 1, black and white illustrations (Paperback). Bookseller Inventory # AB3540431675 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 3. |
Modular Specification and Verification of Object-Oriented Programs (ISBN: 9783540431671) Muller, Peter Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH, 2002. Paperback. Book Condition: New. New print on demand book. Shipped from US. Bookseller Inventory # IH-9783540431671 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 4. |
Modular Specification and Verification of Object-Oriented Programs (ISBN: 9783540431671) Muller, Peter Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/05/2012, 2012. Paperback. Book Condition: New. Brand new print-on-demand book. Shipped from UK. This item is printed on demand. Bookseller Inventory # LQ-9783540431671 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 5. |
Modular Specification and Verification of Object-Oriented Programs (ISBN: 9783540431671) Muller, Peter Quantity Available: > 20
Book Description: SPRINGER VERLAG GMBH 01/05/2012, 2012. Paperback. Book Condition: New. New print on demand book. Shipped from US. This item is printed on demand. Bookseller Inventory # IP-9783540431671 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 14.10
From United Kingdom to U.S.A. |
||
| 6. |
Modular Specification and Verification of Object-Oriented Programs (ISBN: 3540431675 / 3-540-43167-5) Muller, Peter Quantity Available: 1
Book Description: Springer, 2012. Paperback. Book Condition: New. 9.21 by 6 inches. (00306 pages) This item is printed on demand. Please allow up to 10 days extra for printing & delivery. {Publisher's Publication Date = 2002-03-01 00:00:00} [ships from USA takes 8-14 days to Europe] illustrated Lang=English accessory:NO ACCESSORY (Paperback ). Bookseller Inventory # AF3540431675 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 7. |
Modular Specification and Verification of Object-Oriented Programs (ISBN: 3540431675 / 3-540-43167-5) Muller, Peter Quantity Available: 1
Book Description: Paperback. Book Condition: New. 234mm x 17mm x 156mm. Print on Demand 292 pages. 0.440. Bookseller Inventory # 9783540431671 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 20.37
From United Kingdom to U.S.A. |
||
| 8. |
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science) (ISBN: 3540431675 / 3-540-43167-5) Muller, Peter Quantity Available: > 20
Book Description: Springer, 2002. Paperback. Book Condition: Brand New. 292 pages. 9.00x6.00x0.75 inches. In Stock. Bookseller Inventory # __3540431675 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 9.40
From United Kingdom to U.S.A. |
||
Portions of this page may be (c) 2006 Muze Inc. Some database content may also be provided by Baker & Taylor Inc. Copyright 1995-2006 Muze Inc. For personal non-commercial use only. All rights reserved. Content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.
Portions of this page may be Copyright VNU Entertainment Media (UK) Ltd., 2006, Georg Lingenbrink GmbH & Co., Tite Live, S.A or Informazioni Editoriali S.p.A. All rights reserved.
