Eintrag weiter verarbeiten
Verified software: theories, tools, experiments: first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: | Verified software: theories, tools, experiments: first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions/ Bertrand Meyer; Jim Woodcock (eds.) |
Medientyp: | Buch Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg [u.a.]
Springer
2008
|
Gesamtaufnahme: |
State-of-the-art survey Lecture notes in computer science ; 4171 |
Schlagwörter: | |
Online-Ausg.: | Verified Software: Theories, Tools, Experiments, Berlin, Heidelberg : Springer Berlin Heidelberg, 2008, Online-Ressource (digital) |
Quelle: | Verbunddaten SWB |
Online
Inhaltsverzeichnis, VerlagCover
Zentralblatt MATH, Inhaltstext, Verlag
Universitätsbibliothek
Verfügbar Bestellung |
Regalstandort:
SS 4800 4171
Literaturabteilung:
Freihand
Anmerkungen:
|