търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Formal Software Development: From VDM to Java
Palgrave Macmillan
Quentin Charatan
,
Aaron Kans
vdm
specification
java
method
operation
formal
invariant
function
numberin
vdmset
accounts
哫
僆
ext
temperature
boolean
methods
precondition
figure
accnum
composite
postcondition
implementation
signal
values
operations
uml
implementing
sets
element
undefined
integer
patient
namein
actualtemp
details
vdmsequence
defined
statement
landed
specified
map
specifications
records
inv
vdmmap
transaction
appropriate
constructor
consider
Година:
2003
Език:
english
Файл:
PDF, 2.96 MB
Вашите тагове:
0
/
0
english, 2003
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×