Gogolla martin (44 risultati)

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Paperback. Condizione: New. 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.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: new. Paperback. Model transformations are the glue that tie modelling activities together. If youve used modelling in anger then, whether you know it or not, youve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginningsat one point, not long ago, it was said by many in the know that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis yearsedition showedhow model transformations are increasingly being used in previously unfamiliar areas. Model transformations are the glue that tie modelling activities together. Model transformations have humble beginningsat one point, not long ago, it was said by many in the know that the way forward in model transformations was to use XSLT. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: New.

Condizione: New. In English.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Paperback. Condizione: Brand New. 2011 edition. 204 pages. 9.00x6.00x0.50 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual andon a formal, mathematicallevel. In addition to theprimitives given by the data model the text introduces alanguage for the formulation of constraints in order torestrict database states to consistent ones. The textexplains an implementation of the approach chosen in thelogic programing language PROLOG and discusses in thiscontext the computational power of the proposedcalculus.The extended Entity-Relationship calculus is used to definethe meaning of the relational query language SQL. A nicefeature of the approach is that it becomes possible to provelanguage properties on a sound mathematical basis.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.…

Paperback. Condizione: Brand New. 275 pages. 9.25x6.25x0.75 inches. In Stock.

Condizione: New. pp. x + 205.

Condizione: New. pp. x + 278 2010th edition.

Condizione: New.

Condizione: New. pp. x + 205 Illus.

Condizione: New. pp. x + 278 Illus.

Condizione: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual andon a formal, mathematicallevel. In addition to theprimitives given by the data model the text introduces alanguage for the formulation of constraints in order torestrict database states to consistent ones. The textexplains an implementation of the approach chosen in thelogic programing language PROLOG and discusses in thiscontext the computational power of the proposedcalculus.The extended Entity-Relationship calculus is used to definethe meaning of the relational query language SQL. A nicefeature of the approach is that it becomes possible to provelanguage properties on a sound mathematical basis.…

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 275 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: New.

Softcover. 236 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Ausgeschiedenes Bibliotheksexemplar mit entsprechender Kennzeichnung. Leichte Lager- und Gebrauchsspuren. Ansonsten ordentliches Exemplar. 9783519022664 Sprache: Deutsch Gewicht in Gramm: 1000.

Condizione: New. In English.

Condizione: New. pp. 252.

Condizione: New. 1989. Paperback. . . . . .