SFr. 136.00
€ 146.88
bestellen
Artikel-Nr. 27319844
Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten
Weitersagen:
Autor(en):
William Tepfenhart
Wang Jiacun
Formal Methods in Computer Science
(Buch)
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als
3
Artikel!
Übersicht
Auf mobile öffnen
Lieferstatus:
Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:
Juli 2019
Genre:
EDV / Informatik
advanced system modelling techniques
/
atomic proposition
/
coloured Petri nets
/
COMPUTERS / General
/
cpn
/
CPN Model
/
Cycle Time
/
Enabled Transition
/
finite automata
/
Information technology# general issues
/
Information technology# general topics
/
Initial Marking
/
Kleene Closure
/
Kripke Structure
/
LTL Formula
/
MATHEMATICS / Set Theory
/
Mealy Machine
/
model checking
/
model checking algorithms
/
Moore machine
/
Parse Tree
/
petri nets
/
predicate calculus
/
Predicate Logic Formula
/
Propositional calculus
/
Reachable Graph
/
Reachable Marking
/
regular expressions
/
Regular Languages
/
Set theory
/
Simple State Diagram
/
spn
/
timed petri nets
mehr...
ISBN:
9781498775328
EAN-Code:
9781498775328
Verlag:
Taylor and Francis
Einband:
Kartoniert
Sprache:
English
Serie:
Textbooks in Mathematics
Dimensionen:
H 234 mm / B 156 mm / D
Gewicht:
453 gr
Seiten:
294
Illustration:
schwarz-weiss Illustrationen, Tabellen, schwarz-weiss
Bewertung:
Titel bewerten / Meinung schreiben
Inhalt:
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Wird aktuell angeschaut...
SFr. 240.00
Buch
SFr. 13.50
Buch
SFr. 26.50
Buch
SFr. 178.00
Buch
SFr. 250.00
Buch
SFr. 80.00
Buch
SFr. 15.50
Buch
SFr. 90.00
Buch
Zurück zur letzten Ansicht
AGB
|
Datenschutzerklärung
|
Mein Konto
|
Impressum
|
Partnerprogramm
Newsletter
|
Newsfeed
|
Facebook
|
Twitter
Forbidden Planet AG © 1999-2026
Alle Angaben ohne Gewähr
HOME
FILME
HEIM & GARTEN
MUSIK
PC &
GAMES
LIFESTYLE
BÜCHER
>> MEHR
SPARTEN
CBD
eDAMPFEN
HEADSHOP
MIETEN
OCCASIONEN
SHISHA
SPIRITUOSEN
EROTIK
WARENKORB
Weitere Tipps:
Hauptseite
Architektur, Archäologie, Kunst
Comics
EDV / Informatik
Geschichte / Politik / Kultur
Hobby
Hörbürcher
Kalender, Agenden
Karten (Landkarten)
Lexika / Nachschlagewerke
Musik
Naturwissenschaften, Medizin, Technik
Philosophie
Psychologie / Pädagogik
Ratgeber
Reisebücher, Bildbände
Religion
Romane, Erzählungen, Gedichte
Schulbücher
Soziologie
Sprache
Wirtschaft / Recht
0
Warenkorb ansehen
SUCHEN
Alle Sprachen
Deutsch
Englisch
Spanisch
Französisch
Kategorien
Im Sortiment stöbern
Genres
Hörbücher
Aktionen
Infos
Mein Konto
Newsletter
Warenkorb
Meine Wunschliste
Kundenservice
Recherchedienst
Fragen / AGB / Kontakt
Partnerprogramm
Impressum
© by Forbidden Planet AG 1999-2026
Auf Bestellung (Lieferzeit unbekannt)
Newsfeed | 
Facebook | 
Twitter
