Monografie
Integrated formal methods : third international conference ; proceedings
- Sprache
-
Englisch
- Umfang
-
X, 399 S.
- ISBN
-
978-3-540-43703-1
- Identifier
-
964196646
- Reihe
-
Lecture notes in computer science; Vol. 2335
Thema
Systementwicklung ; Formale Methode ; Konferenzschrift Turku; Kongress Turku <2002>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:37 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Integrated formal methods : 10th international conference ; proceedings
Formal methods : proceedings
Developments in language theory : 11th international conference ; proceedings
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16 - 20, 2013 ; proceedings
Automata, languages and programming : 31st international colloquium ; proceedings
Algorithmic aspects of wireless sensor networks : first international workshop ; proceedings
Unconventional computation : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Advances in natural language processing : proceedings
Integrated formal methods : 7th international conference ; proceedings
Algorithm theory : proceedings
Integrated formal methods : 8th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Formal methods : proceedings
Developments in language theory : 11th international conference ; proceedings
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16 - 20, 2013 ; proceedings
Automata, languages and programming : 31st international colloquium ; proceedings
Algorithmic aspects of wireless sensor networks : first international workshop ; proceedings
Unconventional computation : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Advances in natural language processing : proceedings
Integrated formal methods : 7th international conference ; proceedings
Algorithm theory : proceedings
Integrated formal methods : 8th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Formal methods : proceedings
Developments in language theory : 11th international conference ; proceedings
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16 - 20, 2013 ; proceedings
Automata, languages and programming : 31st international colloquium ; proceedings
Algorithmic aspects of wireless sensor networks : first international workshop ; proceedings
Unconventional computation : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Advances in natural language processing : proceedings
Integrated formal methods : 7th international conference ; proceedings
Algorithm theory : proceedings