Konferenzschrift | Kongress | Kongress <2005>
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540691471
- Dimensions
-
24 cm
- Extent
-
XXIII, 546 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4171
- Keyword
-
Software
Zuverlässigkeit
Korrektheit
Verifikation
Softwaretest
Programmanalyse
Programmverifikation
Programmverifikation
Formale Methode
Software
Zuverlässigkeit
Korrektheit
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Meyer, Bertrand
International Federation for Information Processing. Working Group Programming Methodology
VSTTE (1 : 2005 : Zürich)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
- Kongress <2005>
Associated
- Meyer, Bertrand
- International Federation for Information Processing. Working Group Programming Methodology
- VSTTE (1 : 2005 : Zürich)
- Springer
Time of origin
- 2008
Other Objects (12)
System modeling and optimization : 26th IFIP TC 7 Conference ; revised selected papers
System modeling and optimization : 25th IFIP TC 7 conference ; revised selected papers
Software engineering techniques : third IFIP TC 2 Central and East-European conference ; revised selected papers
Computer and computing technologies in agriculture III : third IFIP TC 12 international conference ; revised selected papers
System modeling and optimization : 23rd IFIP TC 7 conference, Cracow, Poland, July 23 - 27, 2007 ; revised selected papers
Communications and multimedia security : 12th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 14th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 15th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 13th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 11th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 9th IFIP TC-6 TC 11 international conference ; proceedings
Domain specific languages : IFIP TC 2 working conference ; proceedings
System modeling and optimization : 26th IFIP TC 7 Conference ; revised selected papers
System modeling and optimization : 25th IFIP TC 7 conference ; revised selected papers
Software engineering techniques : third IFIP TC 2 Central and East-European conference ; revised selected papers
Computer and computing technologies in agriculture III : third IFIP TC 12 international conference ; revised selected papers
System modeling and optimization : 23rd IFIP TC 7 conference, Cracow, Poland, July 23 - 27, 2007 ; revised selected papers
Communications and multimedia security : 12th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 14th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 15th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 13th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 11th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 9th IFIP TC-6 TC 11 international conference ; proceedings
Domain specific languages : IFIP TC 2 working conference ; proceedings
System modeling and optimization : 26th IFIP TC 7 Conference ; revised selected papers
System modeling and optimization : 25th IFIP TC 7 conference ; revised selected papers
Software engineering techniques : third IFIP TC 2 Central and East-European conference ; revised selected papers
Computer and computing technologies in agriculture III : third IFIP TC 12 international conference ; revised selected papers
System modeling and optimization : 23rd IFIP TC 7 conference, Cracow, Poland, July 23 - 27, 2007 ; revised selected papers
Communications and multimedia security : 12th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 14th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 15th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 13th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 11th IFIP TC 6 TC 11 international conference ; proceedings
Communications and multimedia security : 9th IFIP TC-6 TC 11 international conference ; proceedings