Konferenzschrift | Kongress
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642250316
3642250319
- Dimensions
-
24 cm
- Extent
-
X, 203 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7021
- Keyword
-
Formale Methode
Verifikation
Softwaretest
Modellgetriebene Entwicklung
Fehlertoleranz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- 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.03.2025, 11:41 AM CET
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
- Simao, Adenilso
- Morgan, Carroll
- SBMF (14 : 2011 : São Paulo)
- Springer
Time of origin
- 2011
Other Objects (12)
Selected areas in cryptography : 14th international workshop ; revised selected papers
Membrane computing : 14th international conference ; revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Information hiding : 14th international conference ; revised selected papers
Chinese lexical semantics : 14th workshop ; revised selected papers
Enterprise information systems : 14th international conference ; revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Information security and cryptology : 14th international conference ; revised selected papers
Trends in functional programming : 14th international symposium ; revised selected papers
Towards autonomous robotic systems : 14th annual conference ; revised selected papers
Implementation of functional languages : 14th international workshop ; revised selected papers
Selected areas in cryptography : 14th international workshop ; revised selected papers
Membrane computing : 14th international conference ; revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Information hiding : 14th international conference ; revised selected papers
Chinese lexical semantics : 14th workshop ; revised selected papers
Enterprise information systems : 14th international conference ; revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Information security and cryptology : 14th international conference ; revised selected papers
Trends in functional programming : 14th international symposium ; revised selected papers
Towards autonomous robotic systems : 14th annual conference ; revised selected papers
Implementation of functional languages : 14th international workshop ; revised selected papers
Selected areas in cryptography : 14th international workshop ; revised selected papers
Membrane computing : 14th international conference ; revised selected papers
Formal grammar : 14th international conference ; revised selected papers
Information hiding : 14th international conference ; revised selected papers
Chinese lexical semantics : 14th workshop ; revised selected papers
Enterprise information systems : 14th international conference ; revised selected papers
Formal methods : foundations and applications : revised selected papers
Formal methods: foundations and applications : revised selected papers
Information security and cryptology : 14th international conference ; revised selected papers
Trends in functional programming : 14th international symposium ; revised selected papers
Towards autonomous robotic systems : 14th annual conference ; revised selected papers