*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 56
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*facet_topic_facet*
Konferenzschrift
33
Softwareentwicklung
15
Formale Methode
9
Objektorientierte Programmierung
9
Programmverifikation
9
Softwarespezifikation
8
*more* ...
Model Checking
6
Software Engineering
5
Objektorientierung
4
Programmanalyse
4
Programmierung
4
Software
4
Systementwicklung
4
Algebraische Methode
3
Formale Spezifikationstechnik
3
Korrektheit
3
Modulare Programmierung
3
Programmierlogik
3
Programmiersprache
3
Testen
3
Typsystem
3
Verteiltes System
3
Aufsatzsammlung
2
Automatisches Beweisverfahren
2
Komponente Software
2
Künstliche Intelligenz
2
Nebenläufigkeit
2
Objektorientierte Programmiersprache
2
Parallelverarbeitung
2
Rechnernetz
2
*less* ...
*facet_material_brief*
*facet_author_facet*
Müller, Peter
4
Castagna, Giuseppe
3
Beckert, Bernhard
2
Bonsangue, Marcello M
2
Fitzgerald, John
2
Wing, Jeannette M.
2
*more* ...
Ahrendt, Wolfgang
1
Alagar, Vangalur S.
1
Arbab, Farhad
1
Archibald, Jerry L.
1
Baeten, Josephus C. M.
1
Bauer, Christian
1
Bert, Didier
1
Bidoit, Michel
1
Bjørner, Dines
1
Black, Andrew
1
Bodden, Eric
1
Bode, Arndt
1
Börger, Egon
1
Broy, Manfred
1
Bubel, Richard
1
Chiba, Shigeru
1
Cleaveland, Walter R.
1
De Nicola, Rocco
1
Derrick, John
1
Dong, Jin Song
1
Engell, Sebastian
1
Ghezzi, Carlo
1
Graf, Susanne
1
Grumberg, Orna
1
*less* ...
*facet_publish_date*
*Filter*