Ads related to pre-owned using z: specification refinement and proof prentice-hall international series in computer science paperback 0139484728 9780139484728
-
Pre-Owned Using Z: Specificati...This book covers all aspects of the Z notation including specification rigorou... This book covers all aspects of the Z notation including specification rigorous and formal proof and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z. Contributors: Jim Davies and... more
-
Pre-Owned The Z Notation: A Re...CONDITION – USED: Books sold are in GOOD or better condition. Good Condit... CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting /... more
-
Pre-Owned Mathematical Logic f...Designed to provide a firm foundation in mathematical logic this work aims to ... Designed to provide a firm foundation in mathematical logic this work aims to serve as an elementary textbook for both graduate study and for applications of logic such as logic programming and format specification and verification. more
-
Pre-Owned Programming Language...The item might be beaten up but readable. May contain markings or highlighting... The item might be beaten up but readable. May contain markings or highlighting as well as stains bent corners or any other major defect but the text is not obscured in any way. more
-
Pre-Owned Object-oriented soft...This text is concerned with object-oriented software construction. This text is concerned with object-oriented software construction. more
-
-
Pre-Owned An Introduction to L...Our books are pre-loved which means they have been read before. We carefully c... Our books are pre-loved which means they have been read before. We carefully check all our books and believe them to be in good condition. If you re not completely satisfied please get in touch & we ll be happy to help. ISBN-10: 0135360471 ISBN-13:... more
-
Pre-Owned Communication and Co...CONDITION – USED: Books sold are in GOOD or better condition. Good Condit... CONDITION – USED: Books sold are in GOOD or better condition. Good Condition: Minimal damage to the cover dust jacket may not be included minimal wear to binding most of the pages undamaged(e.g. minimal creases or tears) highlighting /... more
-
Pre-Owned The Implementation o...Will be shipped from US. Used books may not include companion materials may ha... Will be shipped from US. Used books may not include companion materials may have some shelf wear may contain highlighting/notes may not include CDs or access s. 100% money back . more
-
Pre-Owned Lecture Notes in Com...These proceedings record the papers presented at the second International Conf... These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002) held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con-... more
-
Pre-Owned Elements of chemical...The item might be beaten up but readable. May contain markings or highlighting... The item might be beaten up but readable. May contain markings or highlighting as well as stains bent corners or any other major defect but the text is not obscured in any way. more
-
Pre-Owned Bioprocess Engineeri...Our books are pre-loved which means they have been read before. We carefully c... Our books are pre-loved which means they have been read before. We carefully check all our books and believe them to be in acceptable condition. If you re not completely satisfied please get in touch & we ll be happy to help. ISBN-10: 0137062702... more
-
Pre-Owned Prentice Hall Intern...Innovative in approach this book is a comprehensive integrative exploration of... Innovative in approach this book is a comprehensive integrative exploration of the science and technology of construction materials that begins with a section on the structure and mechanical properties of materials. Begins with a discussion of the... more
-
Pre-Owned Computer-Aided Manuf...Using a strong science-based and analytical approach this book provides a mode... Using a strong science-based and analytical approach this book provides a modern description of CAM from an engineering perspective to include design specification process engineering and production. The Third Edition of Computer Integrated... more
-
Pre-Owned Lecture Notes in Com...Proof theory has long been established as a basic discipline of mathematical l... Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as... more
Items per page
Ads related to pre-owned using z: specification refinement and proof prentice-hall international series in computer science paperback 0139484728 9780139484728