Monografie
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions
- Sprache
-
Englisch
- Umfang
-
XXIII, 546 S.
- ISBN
-
978-3-540-69147-1
- Identifier
-
988747596
- Reihe
-
Lecture notes in computer science; Vol. 4171
Thema
Softwaretest ; Programmanalyse ; Programmverifikation ; Formale Methode ; Software ; Zuverlässigkeit ; Korrektheit ; Verifikation ; Konferenzschrift Zürich; Kongress Zürich <2005>; Kongress <2005>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:32 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Verified software: theories, tools, experiments : second international conference ; proceedings
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : 4th international conference ; proceedings
Verified software : theories, tools, experiments : 5th international conference ; revised selected papers
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Leveraging applications of formal methods : first international symposium ; revised selected papers
Hardware and software, verification and testing : revised selected papers
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal methods and software engineering : proceedings
Advances in software engineering techniques : revised selected papers
Verified software: theories, tools, experiments : second international conference ; proceedings
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : 4th international conference ; proceedings
Verified software : theories, tools, experiments : 5th international conference ; revised selected papers
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Leveraging applications of formal methods : first international symposium ; revised selected papers
Hardware and software, verification and testing : revised selected papers
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal methods and software engineering : proceedings
Advances in software engineering techniques : revised selected papers
Verified software: theories, tools, experiments : second international conference ; proceedings
Verified software: theories, tools, experiments : third international conference ; proceedings
Verified software: theories, tools, experiments : 4th international conference ; proceedings
Verified software : theories, tools, experiments : 5th international conference ; revised selected papers
Empirical software engineering and verification : international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
Leveraging applications of formal methods : first international symposium ; revised selected papers
Hardware and software, verification and testing : revised selected papers
Software engineering and formal methods : 10th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Software engineering and formal methods : 11th international conference ; proceedings
Formal methods and software engineering : proceedings