Items related to Integration of Software Specification Techniques for...
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) ... (Lecture Notes in Computer Science, 3147) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2004
- ISBN 10 3540231358
- ISBN 13 9783540231356
- BindingPaperback
- Number of pages640
- EditorEhrig Hartmut, Damm Werner, Desel Jörg, Große-Rhode Martin, Reif Wolfgang, Schnieder Eckehard, Westkämper Engelbert
Buy New
Learn more about this copy
US$ 56.90
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (Lecture Notes in Computer Science)
Seller: mountain, GEORGETOWN, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. exlibrary book rebound to a hardcover, usual library markings and stickers, light wear to cover and pages; Seller Inventory # 2DF5TK000BZF
Quantity: 1 available
Stock Image
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: GF Books, Inc., Hawthorne, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.85. Seller Inventory # 3540231358-2-3
Quantity: 1 available
Stock Image
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: Book Deals, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 1.85. Seller Inventory # 353-3540231358-gdd
Quantity: 1 available
Stock Image
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD1522547
Quantity: 1 available
Seller Image
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) . (Lecture Notes in Computer Science (3147)) by Ehrig, Hartmut [Paperback ]
Seller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Soft Cover. Condition: new. Seller Inventory # 9783540231356
Quantity: 10 available
Stock Image
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020163539
Quantity: Over 20 available
Stock Image
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) . Notes in Computer Science, 3147, Band 3147)
Seller: Buchmarie, Darmstadt, Germany
Seller rating 5 out of 5 stars
Condition: Good. Auflage: 2004. Seller Inventory # 2997796_ff9_3x
Quantity: 1 available
Stock Image
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540231356_lsuk
Quantity: Over 20 available
Seller Image
Integration of Software Specification Techniques for Applications in Engineering
Published by
Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540231358
ISBN 13: 9783540231356
New
Taschenbuch
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. Seller Inventory # 9783540231356
Quantity: 2 available
Seller Image
Integration of software specification techniques for applications in engineering. Priority program SoftSpez of the German Research Foundation (DFG). Final report. (= Lecture notes in computer science [LNCS]. Volume 3147).
Published by
Berlin / Heidelberg, Springer, 2004
ISBN 10: 3540231358
ISBN 13: 9783540231356
Used
Softcover
Seller: Antiquariat Andree Schulte, Grafschaft-Ringen, Germany
Seller rating 5 out of 5 stars
X / 626 pp. Sprache: Englisch Gewicht in Gramm: 900 Large 8vo. Original-Softcover, a little bit rubbed and bumped, otherwise fine, text in English. Seller Inventory # 503939
Quantity: 1 available