Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Herzlich Willkommen!

Bitte wählen Sie Ihr Versandland aus:

Mehr Infos: Haupt Newsletter

Mehr Bücher: Haupt Buchhandlung

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen

0,00 CHF*

TEMP für Tests Events

Zur Kategorie Natur

Neuerscheinungen

Garten

Pflanzen & Pilze

Flora Helvetica

Tiere

Natur- und Wanderführer

Natur entdecken mit Kindern

Erde / Klima / Wasser

Astronomie

Umwelt / Ökologie

Spiele / Puzzles

Apps

Zur Kategorie Geschichte

Neuerscheinungen

Wissenschaftsgeschichte

Kulturgeschichte

Naturgeschichte

Zur Kategorie Gestalten

Neuerscheinungen

Gestalten mit Kindern

Druck / Papier

Schrift / Kunst / Zeichnen

Holz

Keramik / Glas

Metall / Stein

Schmuck

Färben

Mode / Textildesign

Textile Techniken

Wohnen / DIY

Zur Kategorie Fachbuch

Neuerscheinungen

Umwelt / Ökologie

Land- und Forstwirtschaft

NPO-Management

Management

Soziale Arbeit

Pädagogik

Haupt bei UTB

Zur Kategorie Aktuell

Magazin

Veranstaltungen

Newsletter

Zur Kategorie Service

Über uns

Team

Für den Handel

Für Presse / Medien

Für Autor:innen

Rights

Haupt Buchhandlung

Kontakt

Fr CHF

€ EUR

Kategorien

Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events

Zu "process algebras" wurden 6 Produkte gefunden

Suchergebnis | hauptverlag

Filter

Springer Berlin (6)

Kartoniert / Broschiert (6)

Chandru, Vijay Vinay, V. (1)
de Swart, Harrie (1)
De Vos, Alexis Wille, Robert (1)
Hofmann, Martin (1)
Joshi, Rajeev Müller, Peter Podelski, Andreas (1)
Seidl, Helmut (1)

abstract machines (1)
algorithm (1)
algorithm analysis and problem complexity (1)
Algorithmen (1)
Algorithmische Geometrie (1)
algorithms (1)
Automat (1)
automata (1)
automatic verification (1)
combinatorial optimization (1)
complexity (1)
complexity theory (1)
computational complexity (1)
computational geometry (1)
correctness (1)
decision procedures (1)
first order logic (1)
formal algebraic modeling (1)
formal language theory (1)
formal verification (2)
graph theory (1)
infinite games (1)
Isabelle/HOL (1)
logic synthesis (1)
logical foundations (1)
mathematical foundations (1)
modal logics (1)
model checking (2)
process algebras (6)
program analysis (1)
program correctness (1)
program debugging (1)
program logics (1)
Prozeßalgebren (1)
quantum computing (1)
specification languages (1)
testing (1)
Typentheorie (1)
virtualization (1)

1996 (1)
2007 (1)
2011 (1)
2012 (1)

Englisch (6)

Foundations of Software Technology and Theoretical Computer Science

53,50 CHF*

Relational and Algebraic Methods in Computer Science

53,50 CHF*

Reversible Computation

53,50 CHF*

Foundations of Software Science and Computational Structures

53,50 CHF*

Verified Software: Theories, Tools, Experiments

53,50 CHF*

Foundations of Software Science and Computational Structures

53,50 CHF*

HAUPT VERLAG AG

Falkenplatz 143012 BernSchweiz

Buchhandlung: +41 31 309 09 09 Verlag: +41 31 309 09 00 bestellung@haupt.ch

INFOMATIONEN

Hilfe A-Z
Unsere Preise
Zahlung und Lieferung
Widerrufsrecht
Warenkorb
Konto

KUNDENSERVICE

Kontakt
Impressum
AGB
Datenschutz
Cookie-Einstellungen
Newsletter

ÜBER HAUPT

Über uns
Team
Haupt Buchhandlung
Jobs
So finden Sie uns..

FOLGEN SIE UNS AUF

Kostenloser Versand in CH/FL/DE ab 50 CHF/€

Kauf auf Rechnung (CH/FL)

Online Bezahlen:

* Alle Preise inkl. gesetzl. Mehrwertsteuer zzgl. Versandkosten und ggf. Nachnahmegebühren, wenn nicht anders angegeben.

Realisiert von der eurosoft Informationstechnologie GmbH mit Shopware

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...