Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1 - 4, 2005 ; revised lectures Frank S. de Boer ... (eds.)
Materialtyp:
TextVerlagsnummer: 11804192Sprache: Englisch Reihen: State-of-the Art survey | ; 411100 | Lecture notes in computer science ; 4111Verlag: Berlin Heidelberg [u.a.] Springer 2006Beschreibung: VIII, 427 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 9783540367499
- 3540367497
- Formal methods (Computer science) -- Congresses
- Component software -- Congresses
- Object-oriented programming (Computer science) -- Congresses
- Amsterdam
- Amsterdam
- Amsterdam
- Formale Methode
- Formale Spezifikationstechnik
- Komponente <Software>
- Objektorientierung
- Softwareentwicklung
- Softwareentwicklung
- Softwareentwicklung
- Amsterdam
- Softwareentwicklung
- Formale Methode
- Amsterdam
- Softwareentwicklung
- Objektorientierung
- Komponente Software
- Amsterdam
- Softwareentwicklung
- Formale Spezifikationstechnik
- QA76.9.F67
- SS 4800
- *68-06
- 68N30
- 00B25
- 54.51
- 54.10
- 3
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| 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 4111 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000218403 |
Literaturangaben
Formal Methods for Components and Objects (vol. # 4111)
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31