Edité par MIT Press, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Hardcover. Etat : Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.4.
Edité par Mit Pr, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Edité par Mit Pr, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : Books Unplugged, Amherst, NY, Etats-Unis
Etat : Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.53.
Edité par The MIT Press
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : GridFreed, North Las Vegas, NV, Etats-Unis
Hardcover. Etat : New. In shrink wrap.
Edité par The MIT Press, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : Mythos Center Books, Frontenac, MN, Etats-Unis
Hardcover. Etat : Very Good. Very good+ hardcover.
Edité par MIT Press, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : Ammareal, Morangis, France
Hardcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Edité par Mit Pr, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : GoldenWavesOfBooks, Fayetteville, TX, Etats-Unis
Hardcover. Etat : new. New. Fast Shipping and good customer service.
Edité par Mit Pr, 1996
ISBN 10 : 026207172X ISBN 13 : 9780262071727
Vendeur : Campbell Bookstore, Austin, TX, Etats-Unis
Etat : new.
Edité par Springer US, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : Buchpark, Trebbin, Allemagne
Etat : Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Hardcover. Etat : new.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Soft Cover. Etat : new.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New.
Edité par Springer US, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise a.
Edité par Springer US, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : moluna, Greven, Allemagne
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise a.
Edité par Springer US Apr 2000, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering. 444 pp. Englisch.
Edité par Springer US Dez 2010, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering. 440 pp. Englisch.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : New.
Edité par Springer US, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.
Edité par Springer US, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : New. 2010. Paperback. . . . . .
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : New.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Paperback. Etat : Like New. Like New. book.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : As New. Unread book in perfect condition.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Hardcover. Etat : Like New. Like New. book.
Edité par Springer, 2010
ISBN 10 : 1441949658 ISBN 13 : 9781441949653
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Etat : New. 2010. Paperback. . . . . . Books ship from the US and Ireland.
Edité par Springer, 2000
ISBN 10 : 0792377575 ISBN 13 : 9780792377573
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition.