Integration of Software Specification Techniques for Applications in

Integration of Software Specification Techniques for Applications in







Características do item

Estado: Bom :

Livro que não tem aparência nova e que já foi lido, mas está em bom estado. Dano mínimo na capa, incluindo marcas ou manchas de uso, mas sem rasgos ou orifícios. No caso de livros de capa dura, pode não incluir a sobrecapa. Desgaste mínimo da encadernação. A maioria das páginas não apresenta danos, há um mínimo de dobras ou desgaste, grifos ou sublinhados a lápis no texto, sem realce no texto, sem nada escrito nas margens. Nenhuma página faltando. Veja no anúncio do vendedor todos os detalhes do item e a descrição de quaisquer imperfeições. Ver todas as definições de estado– abre em uma janela ou guia separada

Notas do vendedor: Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers.

Estado do item: Bom Ano de publicação: 2004
Formato: Livro brochura Idioma: Inglês
ISBN:

9783540231356

EAN:

9783540231356

Integration of Software Specification Techniques for Applications in

Detalhes do produto

Synopsis
As a detective on the mean streets of Detroit, Amos Walker has to make friends in low places. It’s part of the job. So when the incredibly successful madam Beryl Garnet needs somebody to fulfill her last dying wish, she turns to Walker. She hasn’t seen her son in a long, long time, and wants him to have her ashes when she’s gone just to let him know she hasn’t forgotten about him. Walker obliges her.Walker finds Garnet’s son, Delwayne, a Vietnam War protestor who has been living in Canada since the 1960s, and hands over his mother’s ashes. When Walker returns to Detroit, he is surprised to learn that Delwayne is dead and he, Walker, is the prime suspect.To clear his name, Walker must find the murderer. In the process he discovers another murder, of a prizefighter from the 1940s… Curtis Smallwood, Delwayne’s father. Walker knows he has his work cut out for him when he discovers that the two murders, fifty-three years apart, were committed with the very same gun. And even more puzzling, at the time of Delwayne’s murder, the gun was in the limbo of airport security, inaccessible, to say the least. This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling. 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.”

Product Identifiers
ISBN-10 3540231358
ISBN-13 9783540231356
eBay Product ID (ePID) 102890097

Key Details
Number Of Pages 630 pages
Series Lecture Notes in Computer Science
Format Paperback
Publication Date 2004-09-22
Language English
Publisher Springer
Publication Year 2004

Additional Details
Series Volume Number 3147
Number of Volumes 1 vol.
Copyright Date 2004
Illustrated Yes

Dimensions
Weight 69.1 Oz
Width 6.1 In.
Length 9.3 In.

Target Audience
Group Scholarly & Professional

Classification Method
LCCN 2004-111959
LC Classification Number QA76.758QA76.7-76.73
Dewey Decimal 005.10943
Dewey Edition 22

Contributors
Edited by Hartmut Ehrig, Jörg Desel, Martin Große-Rhode, Werner Damm, Wolfgang Reif



Price : 79.50

Ends on : Ended

View on eBay

Software




Leave a Reply

Your email address will not be published.