BOOKS by Werner Damm

Formal Techniques in Real-Time and Fault-Tolerant Systems more books like this

by Werner Damm (Editor), Ernst-Rdiger Olderog (Editor), Ernst-Ruediger Olderog

This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 ...

see all copies from $1.99!

new only from $3.45! | SVS

Integration of Software Specification Techniques for Applications in Engineering more books like this

by Hartmut Ehrig (Editor), Werner Damm (Editor), Jrg Desel (Editor)

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. ...

see all copies from $27.88!

new only from $69.50! | SVS