Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
17.9% 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
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Logic and specification: extending VDM-SL for advanced formal specification
Chapman & Hall
Cornelis A. Middelburg
defined
module
symbols
database
function
vvsl
operations
functions
tuple
modules
curr
formulae
schema
signature
temporal
specification
attribute
operation
formula
definitions
mplω
predicate
λπ
context
dbsch
ϕ
formedness
values
rnm
descriptions
variables
calculus
transition
corresponding
lambda
abstract
logical
tnm
attrs
transaction
vdm
current
formed
sets
subtype
notation
constructs
formal
renaming
yields
Year:
1993
Language:
english
File:
PDF, 1.35 MB
Your tags:
0
/
0
english, 1993
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
×
×