wyszukiwanie książek
książki
Wsparcie
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Springer International Publishing
Julia Seiter
,
Robert Wille
,
Rolf Drechsler (auth.)
refinement
operation
abstract
verification
refined
diagram
operations
activity
diagrams
constraints
models
attributes
step
uml
ocl
behavior
approach
incall
extraction
vertical
attribute
node
formal
integer
refσ
methods
smt
initial
nodes
proposed
context
correct
specification
required
respective
sect
correctness
invariants
shown
guard
task
σi
decision
placecall
refω
corresponding
describe
modeling
boolean
horizontal
Rok:
2017
Język:
english
Plik:
PDF, 2.07 MB
Twoje tagi:
0
/
0
english, 2017
2
C++ Builder 5. Руководство разработчика
Холингвэрт Д.
builder
getprocaddress
oobektob
opengl
wizard
midas
corba
pe3rome
vcl
microsoft
yctahobka
bce
chctembi
jia
napa
4to
mactepa
oobexta
activeform
callingapp
codepstcanue
moxkho
wim
yactb
2ke
coodepstcanue
import
win32
yto
addsubtract
bcero
ceppepa
directx
hykho
jahhbix
kommohehta
loadsayfunction
mactep
manager
pa3yen
showmessage
teamsource
tekcta
visual
void
3allhta
3to
calling
chapter15
d11
Rok:
2001
Język:
russian
Plik:
ZIP, 8.90 MB
Twoje tagi:
0
/
0
russian, 2001
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×