Výsledky vyhledávání - Roth, Andreas

German Federal Court of Justice Karlsruhe Nazi past QA75.5-76.95 bic Book Industry Communication::U Computing & information technology::UY Computer science components context specification deductive verification encapsulation formal specification modular proofs object-orientation proof obligations thema EDItEUR::1 Place qualifiers::1D Europe::1DF Central Europe::1DFG Germany thema EDItEUR::3 Time period qualifiers::3M c 1500 onwards to present day::3MP 20th century, c 1900 to c 1999::3MPQ Later 20th century c 1950 to c 1999 thema EDItEUR::3 Time period qualifiers::3M c 1500 onwards to present day::3MR 21st century, c 2000 to c 2100::3MRB Early 21st century c 2000 to c 2050::3MRBA c 2000 to c 2009 thema EDItEUR::3 Time period qualifiers::3M c 1500 onwards to present day::3MR 21st century, c 2000 to c 2100::3MRB Early 21st century c 2000 to c 2050::3MRBF c 2010 to c 2019 thema EDItEUR::L Law::LA Jurisprudence and general issues::LAZ Legal history