Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Egon Börger and ASM (10, 2003, Taormina)

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings

Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2003

Title

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings / ASM 2003, Taormina, Italy, March 3 - 7, 2003. Egon Börger ... (ed.)

Involved 

Egon Börger (Herausgeber)
ASM (10, 2003, Taormina) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer
2003

Extent

XI, 424 S. : graph. Darst.

ISBN

978-3-540-00624-4

Language

Englisch

Topic

Informatik

Subject

Abstrakte Zustandsmaschine, Formale Methode, Verifikation, Kongress, Taormina <2003>

Series

Lecture notes in computer science ; Vol. 2589

Other editions

Erscheint auch als Online-Ausgabe: Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Further information

Literaturangaben

Record ID

966476220
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal