Software engineering and formal methods : 10th international conference ; proceedings

Konferenzschrift | Kongress

Angaben zum Objekt

• Sprache: Englisch
• Umfang: XIII, 384 S.
• Maße: 24 cm
• Anmerkungen: graph. Darst. ; Literaturangaben
• ISBN: 9783642338250 ; 3642338259
• Standort: Deutsche Nationalbibliothek Frankfurt am Main

Verweise und Beziehungen

• Erschienen in: Lecture notes in computer science ; 7504

Klassifikation und Themen

• Schlagwort: Software Engineering ; Formale Methode ; Requirements engineering ; Anwendungssystem ; Programmverifikation ; Programmanalyse ; Model Checking ; Softwaretest

Beteiligte, Orts- und Zeitangaben

• Beteiligte Personen und Organisationen: Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike ; SEFM (10 : 2012 : Thessaloniki)
• Ereignis: Veröffentlichung
• (wo): Berlin, Heidelberg
• (wer): Springer
• (wann): 2012

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/1025596080/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.03.2025, 12:23 MEZ