నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024
నిధులసేకరణ గురించి
పుస్తకాల శోధన
పుస్తకాలు
నిధుల సేకరణ:
55.8% శాతం సేకరింపబడింది
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
Piton: a mechanically verified assembly-level language
Kluwer
Moore J.S.
stk
piton
segment
instruction
fm9001
stack
push
tsp
addr
step
ctrl
jump
prog
theorem
okp
icode
instructionp
bitv
bool
formal
endif
correctness
function
untag
array
temporary
cdr
effects
implementation
initial
current
cadr
global
clock
listp
1st
flags
defined
fetch
figure
_x
addl
memory
specification
flg
precondition
compiler
vector
elseif
programs
సంవత్సరం:
1996
భాష:
english
ఫైల్:
DJVU, 2.94 MB
మీ ట్యాగ్లు:
0
/
0
english, 1996
2
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Springer
J Strother Moore
stk
piton
segment
instruction
stack
fm9001
tsp
push
addr
step
ctrl
prog
theorem
okp
icode
instructionp
formal
endif
correctness
function
jump
untag
temporary
array
bool
effects
cdr
implementation
initial
bitv
current
cadr
flags
clock
listp
defined
figure
memory
specification
_x
dehnition
precondition
compiler
vector
programs
counter
elseif
objectp
1st
flg
సంవత్సరం:
1996
భాష:
english
ఫైల్:
PDF, 11.43 MB
మీ ట్యాగ్లు:
0
/
0
english, 1996
3
Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
Springer-Verlag Berlin Heidelberg
Viktor Cingel (auth.)
,
George J. Milne
,
Laurence Pierre (eds.)
verification
circuit
specification
function
formal
circuits
input
timing
node
transition
defined
implementation
output
functions
memory
abstract
signal
nodes
error
systems
approach
processes
values
theorem
method
gate
abstraction
correct
correctness
step
proceedings
behaviour
vhdl
components
variables
constraints
simulation
define
instruction
symbolic
component
graph
initial
synthesis
rewrite
errors
fm9001
corresponding
shown
techniques
సంవత్సరం:
1993
భాష:
english
ఫైల్:
DJVU, 2.59 MB
మీ ట్యాగ్లు:
0
/
0
english, 1993
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×