Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.4% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Springer-Verlag Berlin Heidelberg
José Meseguer (auth.)
,
Dang Van Hung
,
Martin Wirsing (eds.)
component
definition
systems
defined
function
theorem
components
lemma
refinement
first
variables
abstract
finite
specification
processes
algorithm
programming
programs
clause
define
step
formula
transition
method
analysis
operators
stochastic
springer
graph
calculus
approach
consider
formal
rewriting
verification
formulas
codes
denote
boolean
composition
sets
different
clauses
iff
outfix
checking
equation
ϕ
assume
bisimulation
Рік:
2005
Мова:
english
Файл:
PDF, 5.89 MB
Ваші теги:
0
/
0
english, 2005
2
Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
Springer-Verlag Berlin Heidelberg
José Meseguer (auth.)
,
Dang Van Hung
,
Martin Wirsing (eds.)
component
systems
definition
function
theorem
defined
components
lemma
variables
first
abstract
processes
finite
algorithm
programming
refinement
programs
clause
step
formula
transition
method
analysis
operators
stochastic
springer
define
graph
calculus
approach
specification
consider
formal
rewriting
formulas
codes
denote
boolean
composition
sets
verification
different
clauses
iff
outfix
checking
equation
ϕ
assume
bisimulation
Рік:
2005
Мова:
english
Файл:
PDF, 5.67 MB
Ваші теги:
0
/
0
english, 2005
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×