Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Formal Methods, Informally
Formal Methods, Informally

Formal Methods, Informally

How to Write Programs That Work
Buch (broschiert)ca. 65.00 CHF
erscheint im Januar

Bibliografische Angaben

Januar 2026, Englisch
Cambridge Academic
978-1-009-42102-7

Schlagworte

Weitere Titel zum Thema

Studies in Greek Literature: Volume 2, Early Greek Literature, Reception, ...
Cambridge Academic, 2026
978-1-009-50118-7
ca. 205.00 CHF
erscheint im Februar
Theology and Medicine in Conversation
How the Healing Happens
Bloomsbury, 2026
978-0-567-71536-4
ca. 110.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Zeroing Dynamics, Gradient Dynamics, and Newton Iterations
Taylor and Francis, 2026
978-1-138-89408-2
ca. 99.00 CHF
erscheint im Januar
Deep Learning Crash Course
Random House N.Y., 2026
978-1-7185-0392-2
ca. 89.00 CHF
erscheint im Januar
Demystifying Probability and Statistics for Data Scientists with R
Taylor and Francis, 2026
978-1-03-272955-8
ca. 196.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Musicians on Twitch
Creativity, Struggles, and the Reality Behind Live Streaming
Ingram Publishers Services, 2026
978-1-83999-601-6
ca. 36.50 CHF
erscheint im Februar
Reeds General Engineering Science
Bloomsbury, 2026
978-1-399-41347-3
ca. 54.50 CHF
erscheint im März
Advanced Techniques for Modifying Metaheuristics
Methods and Applications
Elsevier, 2026
978-0-443-32972-2
ca. 235.00 CHF
erscheint im Januar