Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=006.7*
Treffer 1117 von 1840
|
|
| Link zu diesem Datensatz | https://d-nb.info/993987737 |
| Art des Inhalts | Konferenzschrift, 2009, Bertinoro |
| Titel | Formal methods for web services : advanced lectures / 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1 - 6, 2009. Marco Bernardo ... (ed.) |
| Person(en) | Bernardo, Marco (Herausgeber) |
| Organisation(en) | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9 : 2009 : Bertinoro) (Herausgebendes Organ) |
| Verlag | Berlin ; Heidelberg ; New York, NY : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2009 |
| Umfang/Format | VI, 339 S. : graph. Darst. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Formal Methods for Web Services |
| ISBN/Einband/Preis | 978-3-642-01917-3 kart. : EUR 49.17 (freier Pr.), sfr 71.50 (freier Pr.) |
| Bestellnummer(n) | 12676064 |
| EAN | 9783642019173 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 5569 : Tutorial |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Web Services ; Formale Methode ; Kongress ; Bertinoro <2009> Web Services ; Serviceorientierte Architektur ; Formale Methode ; Kongress ; Bertinoro <2009> |
| DDC-Notation | 006.76015113 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2009 A 15884 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2009 A 50902 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1117 von 1840
Administration
