- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540664628
3540664629
- Dimensions
-
24 cm
- Extent
-
XI, 376 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1641
- Keyword
-
Softwareentwicklung
Formale Methode
Hardwareentwurf
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- Contributor
- 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, 2:03 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Hutter, Dieter
- International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard)
- Springer
Time of origin
- 1999
Other Objects (12)
Recent trends in applied artificial intelligence : proceedings
New trends in applied artificial intelligence : proceedings
Applied computing : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Trends in landscape modeling : proceedings at Anhalt University of Applied Sciences 2003
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Next generation applied intelligence : proceedings
Formal protocol verification applied : 07421 executive summary
Recent trends in applied artificial intelligence : proceedings
New trends in applied artificial intelligence : proceedings
Applied computing : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Trends in landscape modeling : proceedings at Anhalt University of Applied Sciences 2003
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Next generation applied intelligence : proceedings
Formal protocol verification applied : 07421 executive summary
Recent trends in applied artificial intelligence : proceedings
New trends in applied artificial intelligence : proceedings
Applied computing : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Trends in landscape modeling : proceedings at Anhalt University of Applied Sciences 2003
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Next generation applied intelligence : proceedings