Campusbibliothek
Normale Ansicht MARC ISBD

Web services and formal methods 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 ; revised selected papers Cosimo Laneve; Jianwen Su (eds.)

Mitwirkende(r): Materialtyp: TextTextVerlagsnummer: 80018210Sprache: Englisch Reihen: ; 619400 | Lecture notes in computer science ; 6194Verlag: Berlin Heidelberg [u.a.] Springer 2010Beschreibung: 195 S. graph. Darst. 24 cmInhaltstyp:
  • Text
Medientyp:
  • ohne Hilfsmittel zu benutzen
Datenträgertyp:
  • Band
ISBN:
  • 3642144578
  • 9783642144578
Schlagwörter: Genre/Form: Andere physische Formen: Online-Ausg.: Web services and formal methods; Onlineausg. u.d.T.: Web Services and Formal MethodsLOC-Klassifikation:
  • TK5105.88813
Andere Klassifikation:
  • SS 4800
  • *68-06
  • 68M11
  • 00B25
  • 54.84
  • 54.10
Online-Ressourcen: Bearbeitungsvermerk:
  • Archivierung/Langzeitarchivierung gewährleistet PEBW
Andere Ausgaben: Online-Ausg.: / Web services and formal methods; Onlineausg. u.d.T.: / Laneve, Cosimo: Web Services and Formal Methods
Exemplare
Medientyp Aktuelle Bibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode
Buch Buch Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Campusbibliothek für Informatik und Mathematik (E2 3) Series (GF) LNCS 6194 (Regal durchstöbern(Öffnet sich unterhalb)) Verfügbar 2000000362489

Literaturangaben

Laneve, Cosimo: Web Services and Formal Methods

Web services and formal methods

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha