FME 2003: Formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings Keijiro Araki ... (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 2805 | Lecture notes in computer science ; 2805Verlag: Berlin Heidelberg [u.a.] Springer 2003Beschreibung: XVII, 942 S. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540408282
- FME 2003: formal methods
- Computer software -- Development -- Congresses
- Formal methods Computer science -- Congresses
- System design -- Mathematics -- Congresses
- Computer software -- Development -- Congresses
- Formal methods (Computer science) -- Congresses
- System design -- Mathematics -- Congresses
- Formale Methode
- Formale Methode
- Formale Methode
- Formale Methode
- Formale Methode
- Formale Methode
- Model Checking
- Model Checking
- Programmanalyse
- Programmanalyse
- Programmverifikation
- Programmverifikation
- Software
- Softwareentwicklung
- Softwareentwicklung
- Softwareentwicklung
- Softwareentwicklung
- Softwaretest
- Systementwicklung
- Systementwicklung
- Testen
- Formale Methode
- Softwareentwicklung
- Formale Methode
- Systementwicklung
- Formale Methode
- Softwaretest
- Softwareentwicklung
- Programmanalyse
- Programmverifikation
- Model Checking
- Formale Methode
- Softwareentwicklung
- Formale Methode
- Systementwicklung
- Formale Methode
- Software
- Testen
- Softwareentwicklung
- Programmanalyse
- Programmverifikation
- Model Checking
- QA76.76.D47I593 2003
- SS 4800
- *00B25
- 68-06
- 68N30
- 54.51
- 54.52
- 54.10
- 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 2805 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000188614 |
Literaturangaben
Araki, Keijiro: FME 2003: Formal Methods
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31