Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "35886-1"



Treffer 8 von 17 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/102841885X
Art des Inhalts Konferenzschrift, 2011, Turin
Titel Formal methods for components and objects : 10th international symposium ; revised selected papers / FMCO 2011, Turin, Italy, October 3 - 5, 2011. Bernhard Beckert ... (ed.)
Person(en) Beckert, Bernhard (Herausgeber)
Damiani, Ferruccio (Herausgeber)
Boer, Frank S. de (Herausgeber)
Bonsangue, Marcello M. (Herausgeber)
Organisation(en) FMCO (10 : 2011 : Turin) (Herausgebendes Organ)
Verlag Berlin ; Heidelberg : Springer
Zeitliche Einordnung Erscheinungsdatum: 2013
Umfang/Format X, 356 S. : Ill., graph. Darst. ; 24 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Formal Methods for Components and Objects
ISBN/Einband/Preis 978-3-642-35886-9 kart. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)
3-642-35886-1
Bestellnummer(n) 86208117
EAN 9783642358869
Sprache(n) Englisch (eng)
Beziehungen Lecture notes in computer science ; 7542 : State-of-the-art-survey
Anmerkungen Literaturangaben
Schlagwörter Softwareentwicklung ; Objektorientierung ; Komponente <Software> ; Formale Methode ; Kongress ; Turin <2011>
DDC-Notation 005.11 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2013 A 61648
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2013 A 65224
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 8 von 17
< < > <


E-Mail-IconAdministration