Construction and deduction methods for the formal development of software

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Sprache: Englisch

Klassifikation und Themen

• Schlagwort: Softwareentwicklung ; Formale Methode

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Ulm
• (wer): Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• (wann): 2010
• Beteiligte Personen und Organisationen: Henke, Friedrich W. von ; Dold, Axel ; Rueß, Harald ; Schwier, D. ; Strecker, Martin ; Universität Ulm. Fakultät für Informatik

Weitere Informationen

• URN: urn:nbn:de:bsz:289-vts-70523
• Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 25.03.2025, 13:51 MEZ