Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Focus
Domaines
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
À paraître
À paraître
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Action newsletter :
Abonnez-vous dès maintenant à notre newsletter et bénéficiez de
10 % de réduction
sur vos commandes en ligne jusqu’au 8 août 2025.
Infos et inscription.
Télécharger la couverture
Embedded Software System Testing
Embedded Software System Testing
Automatic Testing Solution Based on Formal Method
De:
Yin, Yongfeng
|
Jiang Bo
Livre (broché)
env. 85.00 CHF
livrable dans env. 10-20 jours
Ajouter au panier
Informations bibliographiques
juin 2025
,
env. 305 pages
,
Anglais
Taylor and Francis
978-1-032-48819-6
Mots-clés
Informations bibliographiques
juin 2025
,
env. 305 pages
,
Anglais
Taylor and Francis
978-1-032-48819-6
Mots-clés
Autres titres sur ce thème
Value Sensitive Design, second edition
Shaping Technology with Moral Imagination
Friedman Batya
|
Hendry, David G.
MIT Press
,
2026
978-0-262-55325-4
env. 47.50 CHF
paraît en mars
Game Engine Architecture
Volume II, Graphics, Motion and Sound
Gregory Jason
Taylor and Francis
,
2026
978-1-041-16257-5
env. 109.00 CHF
paraît en janvier
Conversing in the Metaverse
The Embodied Future of Online Communication
Kiaer Jieun
Bloomsbury
,
2026
978-1-350-33855-5
env. 49.90 CHF
paraît en février
Quantum Algorithms and Their Applications in Cryptology
Singh Bhupendra
|
Mylsamy, Mohankumar
|
Thangarajan, Thamaraimanalan
Taylor and Francis
,
2026
978-1-032-99817-6
env. 195.00 CHF
paraît en février
Radical Infrastructure
Imagining the Internet from the Ground Up
Paris, Britt
University Presses
,
2026
978-0-520-42585-9
env. 135.00 CHF
paraît en janvier
Game Engine Architecture
Volume I, Foundations of Game Engine Development
Gregory Jason
Taylor and Francis
,
2026
978-1-032-44308-9
env. 109.00 CHF
paraît en janvier
The AI Paradox
How to Make Sense of a Complex Future
Dignum Virginia
University Presses
,
2026
978-0-691-26908-5
env. 38.50 CHF
paraît en février
Securing Cloud Native Apps
Anderson, Michael
|
Reva, Nick
|
Pandhare, Shrikant
Random House N.Y.
,
2026
978-1-71850-362-5
env. 89.00 CHF
paraît en février
Radical Infrastructure
Imagining the Internet from the Ground Up
Paris, Britt
University Presses
,
2026
978-0-520-40205-8
env. 51.50 CHF
paraît en janvier
Securing AI Agents
Foundations, Frameworks, and Real-World Deployment
Huang, Ken
|
Hughes, Chris
Springer International Publishing
,
2026
978-3-032-02129-8
env. 96.00 CHF
paraît en janvier
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
env. 195.00 CHF
livrable dans env. 10-20 jours
Theoretical and Computational Fluid Mechanics
Existence, Blowup and Discrete Exterior Calculus Problems, Volume II
Moschandreou, Terry E.
|
Afas, Keith
|
Nguyen, Khoa
Taylor and Francis
,
2026
978-1-032-98931-0
env. 179.00 CHF
paraît en janvier