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, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Cham: Springer Nature Switzerland, 2003

Title

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Involved 

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

Published

Cham: Springer Nature Switzerland
2003

Extent

Online-Ressource

ISBN

978-3-540-36498-6

Country

Deutschland

Topic

Informatik

Subject

Abstrakte Zustandsmaschine, Formale Methode, Verifikation

Series

Lecture Notes in Computer Science

Other editions

Erscheint auch als Druck-Ausgabe: Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings

Persistent identifier

urn:nbn:de:101:1-2023031307101713236138 (URN)
10.1007/3-540-36498-6 (DOI)

Record ID

1283205173
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