Suche nach Büchern
Bücher
Spenden
Einloggen
Einloggen
für autorisierte Benutzer stellen folgendes zur Verfügung:
Persönliche Empfehlungen
Telegram-Bot
Downloadverlauf
an E-Mail-Adresse oder Kindle senden
Bücherlisten verwalten
in Favoriten speichern
Persönlich
Suchanfrage nach dem Buch
Erkunden
Z-Recommend
Bücherlisten
Meistgefragt
Kategorien
Teilnahme
Spenden
Hochladen
Litera Library
Papierbücher spenden
Papierbücher hinzufügen
Search paper books
Mein LITERA Point
Suche nach den Begriffen
Main
Suche nach den Begriffen
search
1
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Springer-Verlag Berlin Heidelberg
Christian Haubelt
,
Jürgen Teich (auth.)
für
abb
ϕ
können
beispiel
funktion
zustand
äquivalenzprüfung
verifikation
knoten
somit
engl
formel
spezifikation
variablen
gilt
menge
siehe
folgenden
seiten
systems
simulation
proceedings
funktionen
falls
wert
petri
gegeben
dargestellt
betrachtet
bezeichnet
formeln
eigenschaften
implementierung
zustände
automaten
lediglich
modellprüfung
verwendet
systeme
verfahren
systemc
wobei
ergibt
eigenschaftsprüfung
programm
schaltung
folgt
struktur
zunächst
Jahr:
2010
Sprache:
german
Datei:
PDF, 5.16 MB
Ihre Tags:
0
/
4.0
german, 2010
2
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Springer-Verlag Berlin Heidelberg
Christian Haubelt
,
Jürgen Teich (auth.)
Jahr:
2010
Sprache:
german
Datei:
PDF, 5.12 MB
Ihre Tags:
0
/
0
german, 2010
3
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Springer-Verlag Berlin Heidelberg
Christian Haubelt
,
Jürgen Teich (auth.)
Jahr:
2010
Sprache:
german
Datei:
PDF, 3.24 MB
Ihre Tags:
0
/
0
german, 2010
1
Folgen Sie
diesem Link
oder finden Sie einen Bot "@BotFather" in Telegram
2
Senden Sie Befehl /newbot
3
Geben Sie den Namen für Ihren Bot an
4
Geben Sie den Benutzername für den Bot
5
Kopieren Sie die letzte Meldung von BotFather und fügen Sie hier ein
×
×