*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 420
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*facet_topic_facet*
Konferenzschrift
178
Formale Methode
26
Programmiersprache
25
Programmierung
24
Objektorientierte Programmierung
22
Programmverifikation
21
*more* ...
Softwareentwicklung
21
Theoretische Informatik
17
Logische Programmierung
15
Programmanalyse
15
Software Engineering
15
Formale Sprache
11
Model Checking
11
Automatisches Beweisverfahren
9
Modulare Programmierung
9
Parallelverarbeitung
9
Algorithmus
8
Nebenläufigkeit
8
Software
8
Algebraische Spezifikation
7
Aufsatzsammlung
7
Programmierlogik
7
Softwarespezifikation
7
Zuverlässigkeit
7
Lehrbuch
6
Objektorientierte Programmiersprache
6
Objektorientierung
6
Systementwicklung
6
Verifikation
6
C++
5
*less* ...
*facet_material_brief*
*facet_author_facet*
Bauer, Friedrich L.
6
Berger, Hans
5
Margaria, Tiziana
4
Steffen, Bernhard
4
Castagna, Giuseppe
3
Chiba, Shigeru
3
*more* ...
Díaz, Josep
3
Gutknecht, Jürg
3
Hopcroft, John E.
3
Leventhal, Lance A.
3
Meyer, Bertrand
3
O'Connor, Patrick D. T.
3
Ullman, Jeffrey D.
3
Walker, Adrian
3
Abreu, Salvador
2
Aho, Alfred V.
2
America, Pierre
2
Atkinson, Colin
2
Barnes, J. G. P.
2
Bjørner, Dines
2
Bonsangue, Marcello M
2
Böszörmenyi, Laszlo
2
Bruel, Jean-Michel
2
Bullinger, Hans-Jörg
2
Cachin, Christian
2
Ehrig, Hartmut
2
Elleithy, Khaled
2
Eugster, Patrick
2
Evans, David J.
2
Gaudel, Marie-Claude
2
*less* ...
*facet_publish_date*
*Filter*