Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
17.4% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Formal Specification Techniques for Engineering Modular C Programs
Springer US
Yang Meng Tan (auth.)
specification
lcl
specifications
module
claims
function
abstract
ensures
figure
trait
bool
clause
security
checks
formal
transaction
amt
errors
larch
modifies
functions
programming
implementation
input
lots
induction
modules
invariant
output
programs
t.kind
lsl
seenerror
global
income
checking
trans_set
reengineering
mutable
check
stack
lot_list
lclint
variables
char
clients
cstring
interfaces
array
approach
Year:
1996
Language:
english
File:
PDF, 4.29 MB
Your tags:
0
/
0
english, 1996
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×