本の検索
本
ドネーション
サインイン
サインイン
より多くの機能を利用するために
個人的なおすすめ
テレグラムボット
ダウンロード履歴
メールまたはKindleに送信する
ブックリストの管理
お気に入りに保存
個人用
本のリクエスト
探索
Z-おすすめ
ブックリスト
一番人気本
カテゴリー
貢献
ドネーション
アップロード
Litera Library
紙の本を寄付する
紙の本を追加する
Search paper books
私のLitera Point
キーワード検索
Main
キーワード検索
search
1
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Vieweg+Teubner Verlag
David Trachtenherz (auth.)
acc
lemma
exec
output
input
komponente
spezifikation
localstate
ϕ
anforderungen
eigenschaften
pdl1
pdl
siehe
operatoren
abschnitt
idle
semantik
isabelle
verwendet
anforderung
definiert
ocus
suc
beispielsweise
komponenten
formel
darstellung
zeitpunkt
abbildung
nomsg
ausgabe
ströme
systems
architekturmuster
sowie
gilt
ccl
temporale
funktionaler
eingabe
menge
bpdl
definition
notationen
inext
formale
nachricht
formeln
funktionale
年:
2010
言語:
german
ファイル:
PDF, 3.01 MB
あなたのタグ:
0
/
5.0
german, 2010
2
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Vieweg+Teubner Verlag
David Trachtenherz (auth.)
acc
lemma
exec
output
input
komponente
spezifikation
localstate
ϕ
anforderungen
eigenschaften
pdl1
pdl
siehe
operatoren
abschnitt
idle
semantik
isabelle
verwendet
anforderung
definiert
ocus
suc
beispielsweise
komponenten
formel
darstellung
zeitpunkt
abbildung
nomsg
ausgabe
ströme
systems
architekturmuster
sowie
gilt
ccl
temporale
funktionaler
eingabe
menge
bpdl
definition
notationen
inext
formale
nachricht
formeln
funktionale
年:
2010
言語:
german
ファイル:
PDF, 3.30 MB
あなたのタグ:
0
/
0
german, 2010
3
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Vieweg+Teubner Verlag
David Trachtenherz
acc
lemma
exec
output
input
komponente
spezifikation
localstate
ϕ
anforderungen
eigenschaften
pdl1
pdl
siehe
operatoren
abschnitt
idle
semantik
isabelle
verwendet
anforderung
definiert
ocus
suc
beispielsweise
komponenten
formel
darstellung
zeitpunkt
abbildung
nomsg
ausgabe
ströme
systems
architekturmuster
sowie
gilt
ccl
temporale
funktionaler
eingabe
menge
bpdl
definition
notationen
inext
formale
nachricht
formeln
funktionale
年:
2010
言語:
german
ファイル:
PDF, 2.90 MB
あなたのタグ:
0
/
0
german, 2010
1
このリンク
にアクセスするか、またはTelegramで「@BotFather」というボットを探してください。
2
「/newbot」というコマンドを送信してください。
3
チャットボットの名前を指定してください。
4
ボットのユーザー名を選んでください。
5
BotFatherから最後のメッセージをコピーして、ここに貼り付けてください。
×
×