- Treffer 1 von 1
ASM Specification of Internet Information Services
Verfasserangaben: | Bernhard Thalheim, Roberto Moreno-Diaz, Alexis Quesada-Arencibia |
---|---|
ISBN: | 84-699-3971-8 |
Titel der Quelle (Englisch): | Formal methods and tools for computer science, EUROCAST 2001, 8th International Conference on Computer Aided Systems Theory and Technology, Las Palmas de Gran Canaria, Spain, 13 - 19 February 2001 |
Verlag: | IUCTC |
Verlagsort: | Las Palmas |
Dokumentart: | Konferenzveröffentlichung |
Sprache: | Englisch |
Erscheinungsjahr: | 2001 |
Freies Schlagwort / Tag: | ASM |
Erste Seite: | 301 |
Letzte Seite: | 304 |
Fakultät / Fachgebiet: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenbank- und Informationssysteme |
Name der Einrichtung zum Zeitpunkt der Publikation: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Datenbanken und Informationssysteme |