Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Newsletteraktion:
Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025
10% Rabatt
auf Ihre Onlinebestellungen.
Infos und Anmeldung.
Download Cover
Embedded Software System Testing
Embedded Software System Testing
Automatic Testing Solution Based on Formal Method
Von:
Yin, Yongfeng
|
Jiang Bo
Buch (broschiert)
ca. 85.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
In den Warenkorb
Bibliografische Angaben
Juni 2025
,
ca. 305 Seiten
,
Englisch
Taylor and Francis
978-1-032-48819-6
Schlagworte
Bibliografische Angaben
Juni 2025
,
ca. 305 Seiten
,
Englisch
Taylor and Francis
978-1-032-48819-6
Schlagworte
Weitere Titel zum Thema
Autonomous Cyber Resilience
Kamhoua, Charles A.
|
Kott Alexander
|
Zhu, Quanyan
Wiley
,
2026
978-1-394-21538-6
ca. 144.00 CHF
erscheint im März
Distributed Computing and Intelligent Data Analytics
Vasanth, K.
|
Radha S.
|
Kushwah, Vivek Singh
Wiley
,
2026
978-1-394-39596-5
ca. 289.00 CHF
erscheint im Februar
Game Engine Architecture
Volume II, Graphics, Motion and Sound
Gregory Jason
Taylor and Francis
,
2026
978-1-041-16258-2
ca. 255.00 CHF
erscheint im Januar
Driving Intelligence: The Green Book
Routes to Autonomy
Bishop, J. Mark
|
Seiberth, Gabriel
Taylor and Francis
,
2026
978-1-032-91122-9
ca. 205.00 CHF
erscheint im Januar
Demystifying Probability and Statistics for Data Scientists with R
Rajan S., Dheva
|
Raj Chelliah, Pethuru
|
P., Selvagopal
Taylor and Francis
,
2026
978-1-03-272955-8
ca. 195.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Cyber Security for Space Missions
Mitigating Risks in the New Space Era
Tasdighi, Anahita
Wiley
,
2026
978-1-394-37027-6
ca. 145.00 CHF
erscheint im Januar
Quantum Algorithms and Their Applications in Cryptology
Singh Bhupendra
|
Mylsamy, Mohankumar
|
Thangarajan, Thamaraimanalan
Taylor and Francis
,
2026
978-1-032-99817-6
ca. 195.00 CHF
erscheint im Februar
Securing Cloud Native Apps
Anderson, Michael
|
Reva, Nick
|
Pandhare, Shrikant
Random House N.Y.
,
2026
978-1-71850-362-5
ca. 89.00 CHF
erscheint im Februar
Driving Intelligence: The Green Book
Routes to Autonomy
Bishop, J. Mark
|
Seiberth, Gabriel
Taylor and Francis
,
2026
978-1-032-91135-9
ca. 59.50 CHF
erscheint im Januar
Beginner's Step-by-Step Coding Course
Learn Computer Programming the Easy Way
DK
Random House N.Y.
,
2026
978-0-593-96348-7
ca. 36.50 CHF
erscheint im Januar
Quantum Algorithms and Their Applications in Cryptology
Singh Bhupendra
|
Mylsamy, Mohankumar
|
Thangarajan, Thamaraimanalan
Taylor and Francis
,
2026
978-1-032-99852-7
ca. 85.00 CHF
erscheint im Februar
Quantum Theory, Decision Making and Social Dynamics
Allahviranloo, Tofigh
|
Samanta, Sovan
|
Mandal, Prasenjit
Elsevier
,
2026
978-0-443-36490-7
ca. 259.00 CHF
erscheint im Februar