18 eredmény a kulcsszóra: 'verification of pointer programs'
The following result is useful in providing the best quadrature rule in the class for approximating the integral of a function f : [a, b] → R whose first derivative is
N/A
Either, the assertions used in the consequence rules cannot be captured by a complete proof system, or not every set of states can be represented by formulas
N/A
Három vagy többgyermekes családban élő gyermek után járó kedvezmény Nyilatkozom, hogy a velem közös háztartásban élő gyermekek száma: _______fő - ebből 18 éven aluli __________fő -
N/A
The following result is useful in providing the best quadrature rule in the class for approxi- mating the integral of a function f : [a, b] → R whose first derivative is
N/A
In case of the inductor only the distance between the pole surfaces, signed by d and the number of turns, signed by N and in connection with it the width of the conductor m
N/A
Of the 97 high-risk individuals enrolled in the study, 31 partici- pants (32%) developed psychotic disorders (schizophrenia, schizo- phreniform disorder, psychotic mood disorder) by
N/A
Az előadás célja internetes és hétköznapi társalgásokból gyűjtött példák, illetve egy inter- netes mémszöveg részletes elemzése révén annak bemutatása, hogy a személyek
N/A
RASSIAS (Eds.), Ostrowski Type Inequalities and Applications in Numerical Integration, Kluwer Academic Publishers, Dordrecht, 2002..
N/A
(a közoktatás központi értékelési rendszere, a központi mérésekkel kapcsolatos intézményi szervezési, szakmai feladatok, a mérési eredmények beépítése a
N/A
Line 474 – earlier Fusarium resistant (alias 484), high Mn level in the ear 1/a – inoculated with Fusarium culmorum. 2/a – inoculated with
N/A
Az államosított iskola két évig még viselte a Szent Imre Gimnázium nevet, csak utána vette föl állami utasí- tásra József Attila nevét. A kommunista államhatalom 1950
N/A
Nem világítja meg azonban kellőképen, milyen módon gondolja rendszerét gyakorlatilag alkalmazhatónak, úgy hogy ez a rend- szer az eddigi j ó l bevált típusokat, amelyek
N/A
A szerző meggyőz róla, hogy a ma emberének igen sokat kell olvasnia, de az oktatási hagyomá- nyokkal szakítva, a korszerű tudomány kínálta módszerekkel.. Amit tanulunk
N/A
A PISA-fel- mérések által vizsgált „literacy” – magyarul olvasástudás vagy még inkább olvasás- kultúra – „az írott szövegek megértésének, használatának,
N/A
Még nincs öt éve, hogy Bogner Etelka, nagybecskereki leány, aki az érdi Vizitáció- rendben a Mária Margit nevet viselte, 27 éves korában szent halállal húnyta le szemét, s
N/A
Applicative (Functional) Programming; F.3.1 [Logics and meanings of pro- grams]: Specifying and Verifying and Reasoning about Programs - invariants ; Key Words and
N/A
megfeleltetjük egymásnak az óvodai tapasztalati területeket és az előkészítő osztály számára meghatározott műveltségi területeket, azt tapasztaljuk, hogy
N/A