Normale Ansicht MARC ISBD

Web services and formal methods 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1 - 2, 2011 ; revised selected papers Marco Carbone ... (eds.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 717600 | Lecture notes in computer science ; 7176Verlag: Berlin Heidelberg [u.a.] Springer 2012Beschreibung: VI, 142 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

3642298338
9783642298332

Schlagwörter: Genre/Form:

Andere physische Formen: Kein Titel; Online-Ausg.: Web Services and Formal Methods; Erscheint auch als: 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: Erscheint auch als (Online-Ausgabe): / Carbone, Marco: Web Services and Formal Methods; Erscheint auch als (Online-Ausgabe): / Web services and formal methods; Online-Ausg.: / Carbone, Marco: Web Services and Formal Methods

Exemplare ( 1 )
Titelinformationen ( 5 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 7176 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2200000402097

Literaturangaben

Carbone, Marco: Web Services and Formal Methods

Web services and formal methods

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31