Konferenzschrift | Kongress | Kongress <2005>
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540691471
- Maße
-
24 cm
- Umfang
-
XXIII, 546 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 4171
- Schlagwort
-
Software
Zuverlässigkeit
Korrektheit
Verifikation
Softwaretest
Programmanalyse
Programmverifikation
Programmverifikation
Formale Methode
Software
Zuverlässigkeit
Korrektheit
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2008
- Beteiligte Personen und Organisationen
-
Meyer, Bertrand
International Federation for Information Processing. Working Group Programming Methodology
VSTTE (1 : 2005 : Zürich)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
- Kongress <2005>
Beteiligte
- Meyer, Bertrand
- International Federation for Information Processing. Working Group Programming Methodology
- VSTTE (1 : 2005 : Zürich)
- Springer
Entstanden
- 2008
Ähnliche Objekte (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