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
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
De:
Morgan, Carroll
Livre (relié)
env. 109.00 CHF
paraît en janvier
Ajouter au panier
Informations bibliographiques
janvier 2026
,
Anglais
Cambridge Academic
978-1-009-42099-0
Mots-clés
Informations bibliographiques
janvier 2026
,
Anglais
Cambridge Academic
978-1-009-42099-0
Mots-clés
Autres titres sur ce thème
Minds, Machines, and Misinformation
Decoding Bias, Algorithms, and Trust
Don Donghee Shin
Elsevier
,
2026
978-0-443-16104-9
env. 189.00 CHF
paraît en mars
The Debugging Handbook
Kuhlmann, Johannes
Turnaround
,
2026
978-1-7185-0406-6
env. 75.00 CHF
paraît en janvier
Beyond Belonging
East and Southeast Asian Presence, Identity and Activism in the UK
Kam, David
|
., Mei
|
Peterson, Mai-Anh
Sage Publications
,
2026
978-1-5296-7320-3
env. 69.00 CHF
paraît en juin
Short-Form Creative Writing
A Writer's Guide and Anthology
Hummel, H. K.
|
Lenox Stephanie
Bloomsbury
,
2026
978-1-350-45930-4
env. 41.90 CHF
paraît en mars
Beyond Belonging
East and Southeast Asian Presence, Identity and Activism in the UK
Kam, David
|
., Mei
|
Peterson, Mai-Anh
Sage Publications
,
2026
978-1-5296-7319-7
env. 21.50 CHF
paraît en juin
World Politics
A Critical Introduction to International Relations
Goetze, Catherine
Sage Publications
,
2026
978-1-5296-2562-2
env. 65.00 CHF
paraît en février
Reeds General Engineering Science
Patterson Christopher
Bloomsbury
,
2026
978-1-399-41347-3
env. 54.50 CHF
paraît en mars
Colin Gunton’s Trinitarian Theology of Culture
Towards a Living Sacrifice of Praise
Picard, Andrew
Bloomsbury
,
2026
978-0-567-71234-9
env. 49.90 CHF
paraît en janvier
Data Science and Machine Learning for Non-Programmers
Using SAS Enterprise Miner
Truong, Dothang
Taylor and Francis
,
2026
978-0-367-75196-8
env. 75.00 CHF
paraît en janvier
Formal Methods, Informally
How to Write Programs That Work
Morgan, Carroll
Cambridge Academic
,
2026
978-1-009-42102-7
env. 65.00 CHF
paraît en janvier
The Garbage Collection Handbook
The Art of Automatic Memory Management
Jones, Richard
|
Hosking Antony
|
Moss Eliot
Taylor and Francis
,
2026
978-1-03-223178-5
env. 75.00 CHF
paraît en février
Synthetic Media, Deepfakes, and Cyber Deception
Attacks, Analysis, and Defenses
Malin Cameron H.
|
Canham, Matthew
|
Kennedy, Kirk
Elsevier
,
2026
978-0-443-23887-1
env. 159.00 CHF
paraît en mai