Publicado por VCU Student Media Center, 2019
Librería: Paradou Books, Richmond, VA, Estados Unidos de America
EUR 8,09
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: As New. Softcover, 90 pgs. Anthology of student writing and art from Virginia Commonwealth University. As new.
Publicado por New York, Leslie-Judge Co., 1907
Librería: Sequitur Books, Boonsboro, MD, Estados Unidos de America
Miembro de asociación: IOBA
EUR 22,47
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Not dated, but 1907 or 1908 based on library catalogues. Bound in publisher's cloth, with printed boards. Hardcover. Clean, unmarked pages.
Idioma: Inglés
Publicado por Rowman & Littlefield Publishers, Lanham, MD, 2001
ISBN 10: 0847685322 ISBN 13: 9780847685325
Librería: Treehorn Books, Santa Rosa, CA, Estados Unidos de America
EUR 44,95
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Estado de la sobrecubierta: Near Fine. Pacific Formations: Global Relations In Asian And Pacific Perspectives; B and w photos; 6.4 X 1.5 X 9.22 inches; 560 pages.
Idioma: Inglés
Publicado por Rowman & Littlefield Publishers, 2001
ISBN 10: 0847685322 ISBN 13: 9780847685325
Librería: BooksElleven, Three Oaks, MI, Estados Unidos de America
EUR 46,12
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Scarce publication. Ex-library; usual treatments. Nice dust jacket and cover. Interior pages are clean throughout. Binding is secure.
Idioma: Inglés
Publicado por Academic Press, U.S.A., 1982
ISBN 10: 0122956206 ISBN 13: 9780122956201
Librería: Second Edition Books, Butte, MT, Estados Unidos de America
EUR 44,95
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good +. No Jacket. Binding is very tight. Interior is clean. Boards are gray. Silver on boards and spine bright. Boards are clean. Board corners are lightly bumped. Previous owner's name lightly stamped on all edges of pages (visible when book is closed) and top corner of ffep. Really, a very clean and tight book that includes graphs. 369pp, including indices, references, and appendices.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 69,10
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: Revaluation Books, Exeter, Reino Unido
EUR 101,05
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 384 pages. 9.25x6.00x0.87 inches. In Stock.
Publicado por Academic Press, U.S.A. 1982, 1982
Librería: Holybourne Rare Books ABA ILAB, Alton, Reino Unido
Original o primera edición
EUR 28,48
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 1st Edition. ISBN 10: 0122956206 / ISBN 13: 9780122956201 First edition VG+ buff gilt boards. Ink name and address card to pastedown, offsetting to endpapers, otherwise clean bright and tight with no further ink marks. Excellent reference example. 15407 7mkt.
EUR 125,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Rowman & Littlefield Publishers, 2003
ISBN 10: 0847685330 ISBN 13: 9780847685332
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 134,30
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. In shrink wrap. Looks like an interesting title!
EUR 146,59
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 132,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Original o primera edición
EUR 153,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
EUR 147,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 137,95
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Geothermal Reservoir Engineering | Malcolm Alister Grant (u. a.) | Taschenbuch | Einband - fest (Hardcover) | Englisch | 2016 | Academic Press | EAN 9780128103753 | Verantwortliche Person für die EU: Zeitfracht Medien GmbH, Ferdinand-Jühlke-Str. 7, 99095 Erfurt, produktsicherheit[at]zeitfracht[dot]de | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 185,13
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 231,34
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 233,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 216,06
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 224,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 224,33
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 240,13
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 245,02
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: preigu, Osnabrück, Alemania
EUR 184,85
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Software Engineering with OBJ | Algebraic Specification in Action | Grant Malcolm (u. a.) | Taschenbuch | xxvi | Englisch | 2010 | Humana | EAN 9781441949653 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 230,22
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Acceptable. Acceptable. Dust Jacket NOT present. CD WILL BE MISSING. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: Buchpark, Trebbin, Alemania
EUR 159,93
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | 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.
EUR 282,84
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 442.
EUR 283,36
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 444.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 223,11
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer US, Springer US, 2000
ISBN 10: 0792377575 ISBN 13: 9780792377573
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 223,11
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.