Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Services and Visualization: Towards User-Friendly Design

ACos'98, VISUAL'98, AIN'97, Selected Papers
BookPaperback
Ranking42763in
CHF69.00

Description

This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97).
More descriptions

Details

ISBN/GTIN978-3-540-64367-8
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date18/03/1998
Edition1998
SeriesLecture Notes in Computer Science
Series no.1385
Pages344 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm, Thickness 19 mm
Weight522 g
Article no.1498988
Publisher's article no.10632053
CatalogsBuchzentrum
Data source no.3310920
More details

Series

Author

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT).

More products from Margaria, Tiziana

Editor

More products from Steffen, Bernhard

Editor

Subjects