Order Total (1 Item Items):
Shipping Destination:
Große Rhode Martin (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (27)
- As New, Fine or Near Fine (4)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (27)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Hard Cover. Condition: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 327 pages. Ex-Library.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
-
-
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
-
-
Condition: 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.
-
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540231358 ISBN 13: 9783540231356
Language: English
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi kation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.
-
Taschenbuch. Condition: Neu. Integration of Software Specification Techniques for Applications in Engineering | Priority Program SoftSpez of the German Research Foundation (DFG) Final Report | Hartmut Ehrig (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540231356 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540231358 ISBN 13: 9783540231356
Language: English
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540402578 ISBN 13: 9783540402572
Language: English
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
-
-
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642073069 ISBN 13: 9783642073069
Language: English
Condition: New.
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540402578 ISBN 13: 9783540402572
Language: English
Condition: New.
-
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2003, 2003
ISBN 10: 3540402578 ISBN 13: 9783540402572
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642073069 ISBN 13: 9783642073069
Language: English
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.
-
Semantic Integration of Heterogeneous Software Specifications
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540402578 ISBN 13: 9783540402572
Language: English
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.
-
Hardcover. Condition: Brand New. 1st edition. 327 pages. 9.25x6.50x1.00 inches. In Stock.
-
Hardcover. Condition: Like New. Like New. Ships from Multiple Locations. book.
-
Paperback. Condition: Like New. Like New. book.
-
Mathematisch-strukturelle Grundlagen der Informatik
Published by Springer Berlin Heidelberg, 2001
ISBN 10: 3540419233 ISBN 13: 9783540419235
Language: German
Condition: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher.
-
Integration of Software Specification Techniques for Applications in Engineering
Published by Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540231358 ISBN 13: 9783540231356
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi kation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A. 644 pp. Englisch.
-
Integration of Software Specification Techniques for Applications in Engineering
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540231358 ISBN 13: 9783540231356
Language: English
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasIntegration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.- Integration of Software Specification Techniques for Applications in Engineerin.
-
Integration of Software Specification Techniques for Applications in Engineering
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540231358 ISBN 13: 9783540231356
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is a documentation of the main results in the research area ¿In- gration of Software Speci cation Techniques for Applications in Engineering¿. On one hand it is based on the Priority Program ¿Integration von Techniken der Softwarespezi kation fur ¿ ingenieurwissenschaftliche Anwendungen¿, short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on ¿Integration of Sp- i cation Techniques for Applications in Engineering¿. INT 2004 was launched as a satellite event of ETAPS in Barcelona, the ¿European Joint Conferences on Theory and Practice of Software¿. The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk¿ amper concerning two main application areas in engineering, namely ¿Tra c Control Systems¿ and ¿Production Automation¿. After acceptance of SoftSpez by the German Research Council for the period of 1998¿2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 644 pp. Englisch.
