Konferenzschrift | Kongress
Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642410703
3642410707
- Dimensions
-
24 cm
- Extent
-
X, 242 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8195
- Keyword
-
Formale Methode
Softwareentwicklung
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- 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:12 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
- Iyoda, Juliano
- Moura, Leonardo de
- SBMF (16 : 2013 : Brasília)
- Springer
Time of origin
- 2013
Other Objects (12)
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Programming languages : 16th Brazilian symposium ; proceedings
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Foundations of intelligent systems : 16th international symposium ; proceedings
16th Dresden Sensor Symposium
Formal concept analysis : mathematical foundations
Formal Foundations for Anonymous Communication
Static analysis : 16th international symposium ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Brazilian Symposium on Biorefineries
Formal concept analysis : foundations and applications
Formal foundations for software engineering methods
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Programming languages : 16th Brazilian symposium ; proceedings
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Foundations of intelligent systems : 16th international symposium ; proceedings
16th Dresden Sensor Symposium
Formal concept analysis : mathematical foundations
Formal Foundations for Anonymous Communication
Static analysis : 16th international symposium ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Brazilian Symposium on Biorefineries
Formal concept analysis : foundations and applications
Formal foundations for software engineering methods
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Programming languages : 16th Brazilian symposium ; proceedings
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Foundations of intelligent systems : 16th international symposium ; proceedings
16th Dresden Sensor Symposium
Formal concept analysis : mathematical foundations
Formal Foundations for Anonymous Communication
Static analysis : 16th international symposium ; proceedings
Algorithms : 16th annual European symposium ; proceedings
Brazilian Symposium on Biorefineries
Formal concept analysis : foundations and applications