Understanding formal methods

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
1852332476
Maße
24 cm
Umfang
XV, 275 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturverz. S. 255 - 267

Schlagwort
Softwareentwicklung
Formale Methode

Ereignis
Veröffentlichung
(wo)
London, Berlin, Heidelberg, New York, Hong Kong, Milan, Paris, Tokyo
(wer)
Springer
(wann)
2003
Urheber
Beteiligte Personen und Organisationen
Monin, Jean-François

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:51 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2003

Ähnliche Objekte (12)

Formal methods, Vol. 1

Konferenzschrift

Formal methods, Vol. 1

Formal methods, Vol. 2

Konferenzschrift

Formal methods, Vol. 2

Formal methods for industrial applications, Buch.

Formal methods for industrial applications, Buch.

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods in systems engineering

Formal methods in systems engineering

Formal methods and object technology

Formal methods and object technology

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Group theoretical methods in image understanding

Group theoretical methods in image understanding

Formal methods for mining structured objects

Formal methods for mining structured objects

Formal foundations for software engineering methods

Formal foundations for software engineering methods

Verbundene Objekte