Monografie
Software engineering and formal methods : 10th international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
XIII, 384 S.
- ISBN
-
978-3-642-33825-0
- Identifier
-
1025596080
- Reihe
-
Lecture notes in computer science; 7504
- Thema
-
Software Engineering ; Formale Methode ; Requirements engineering ; Anwendungssystem ; Programmverifikation ; Programmanalyse ; Model Checking ; Softwaretest ; Konferenzschrift Thessaloniki; Kongress Thessaloniki <2012>
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:54 MESZ
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
- Monografie
Beteiligte
- Eleftherakis, George
- Hinchey, Mike
- Holcombe, Mike
Ähnliche Objekte (12)
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Research methods in software engineering
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Research methods in software engineering
Software engineering and formal methods : 11th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings