• Treffer 1 von 1
Zurück zur Trefferliste

ASM Specification of Internet Information Services

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.