Resultats de la cerca - Roth, Andreas
- Mostrar 1 - 2 resultats de 2
-
-
Specification and verification of object-oriented software components per Roth, Andreas
Publicat 2021Obtenir text complet
Online
Eines de cerca:
Matèries relacionades
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