Astesiano (30 Ergebnisse)

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. 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.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Good. 523 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Good. 329 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Used. pp. 540 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: Used. pp. 540.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Kartoniert / Broschiert. Zustand: New.

Zustand: Used. pp. xii + 616 57 Figures.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on 'Java-related' technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti capproachtosoftwareengineering. The scope of the workshop included the following topics: - design of distributed Java applications - Java-related technologies - software and system architecture engineering and development methodo- gies - development methodologies for UML - development methodologies for reliable distributed systems - component-based development methodologies - managementofevolutions/iterationsintheanalysis,design,implementation, and test phases - dependability support during system life-cycles - managing inconsistencies during application development - atomicity and exception handling in system development - software architectures, frameworks, and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) - supporting the security requirements of distributed applications in the - velopment process - refactoring methods - industrial and academic case studies - development and analysis tools Theorganization of such a workshop represents an important amount of work.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994.The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998.Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development. Concerning the technologies, the workshop focused on 'Java-related' technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. All papers submitted to this workshop were reviewed by at least two members of the International Program Committee. Acceptance was based primarily on the originality and contribution. We selected for these postworkshop proceedings 16 papers amongst 33 submitted, two tutorials, and two keynotes. FIDJI 2002 was aimed at promoting a scienti c approach to software engin- ring. The scope of the workshop included the following topics: - design of distributed Java applications - Java-related technologies - software and system architecture engineering and development methodo- gies - development methodologies for UML - development methodologies for reliable distributed systems - component-based development methodologies - management of evolutions/iterations in the analysis, design, implementation, and test phases - dependability support during system lifecycle - managing inconsistencies during application development - atomicity and exception handling in system development - software architectures, frameworks, and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modeling notation and techniques (e. g.…

Zustand: Used. pp. xii + 616.

Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut.

Zustand: New. Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to c.

Zustand: New. pp. 352 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Broschur. Zustand: Gut. 364 S. Computerwissenschaften Mathematik Mathematics Guter Zustand/ Good. Ex-Library. Brownish paper. ha1082115 Sprache: Englisch Gewicht in Gramm: 650.

Taschenbuch. Zustand: Neu. Neuware - Algebraic theory of parameterized specifications with requirements.- A modal characterisation of observable machine-behaviour.- Trees as data and file structures.- Infinitary relations.- Full approximability of a class of problems over power sets.- How to compute generators for the intersection of subgroups in free groups.- Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG.- Top-down tree-transducers for infinite trees I.- Easy solutions are hard to find.- Une semantique pour les arbres non deterministes.- On the algebraic specification of nondeterministic programming languages.- Applied tree enumerations.- Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines).- On pushdown tree automata.- Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities.- Calcul du rang des -arbres infinis regulers.- A class of tree-like UNION-FIND data structures and the nonlinearity.- Grammars without erasing rules. the OI case.- Proprietes de cloture d'une extension de transducteurs d'arbres deterministes.- Certain algorithms for subgraph isomorphism problems.- A # P-complete problem over arithmetical trees.- Trees in Kripke models and in an intuitionistic refutation system.- Efficient optimization of monotonic functions on trees.- Differents types de derivations infinies dans les grammaires algebriques d'arbres.- Discriminability of infinite sets of terms in the D -models of the -calculus.…

Taschenbuch. Zustand: Neu. Algebraic Foundations of Systems Specification | Egidio Astesiano (u. a.) | Taschenbuch | IFIP State-of-the-Art Reports | xii | Englisch | 2011 | Springer | EAN 9783642641510 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Softcover. Zustand: Gut. Gebraucht - Gut Verlagsmängelex., X, 205 p. Also available online This book constitutes the thoroughly refereed postproceedings of the International Workshop on Scientific Engineering for Distributed Java Applications, FIDJI 2002, held in Luxembourg-Kirchberg, Luxembourg in November 2002. The 16 revised full papers presented together with a keynote paper and 3 abstracts were carefully selected from 33 submissions during two rounds of reviewing and improvement. Among the topics addressed are Java coordination, Web service architectures, transaction models, CORBA-based distributed systems, mobile objects, Java group toolkits, distributed process management systems, active objects in J2EE, Java frameworks, Jini, component-based distributed applications, Java middleware, fault-tolerant mobile systems.…

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on ¿Java-related¿ technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: ¿ design of distributed Java applications ¿ Java-related technologies ¿ software and system architecture engineering and development methodo- gies ¿ development methodologies for UML ¿ development methodologies for reliable distributed systems ¿ component-based development methodologies ¿ managementofevolutions/iterationsintheanalysis,design,implementation, and test phases ¿ dependability support during system life-cycles ¿ managing inconsistencies during application development ¿ atomicity and exception handling in system development ¿ software architectures, frameworks, and design patterns for developing d- tributed systems ¿ integration of formal techniques in the development process ¿ formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) ¿ supporting the security requirements of distributed applications in the - velopment process ¿ refactoring methods ¿ industrial and academic case studies ¿ development and analysis tools Theorganization of such a workshop represents an important amount of work.…

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

M. 57 graph. Darst. XII, 615 S. OPp. St. a. Innendeckel u. verso Tit. Sprache: Englisch 0 gr.