Understanding formal methods

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
1852332476
Dimensions
24 cm
Extent
XV, 275 S.
Language
Englisch
Notes
graph. Darst.
Literaturverz. S. 255 - 267

Keyword
Softwareentwicklung
Formale Methode

Event
Veröffentlichung
(where)
London, Berlin, Heidelberg, New York, Hong Kong, Milan, Paris, Tokyo
(who)
Springer
(when)
2003
Creator
Contributor
Monin, Jean-François

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:51 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2003

Other Objects (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

Related objects